diff options
Diffstat (limited to 'src/Makefile.binary')
| -rw-r--r-- | src/Makefile.binary | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/Makefile.binary b/src/Makefile.binary new file mode 100644 index 000000000..32ce409b6 --- /dev/null +++ b/src/Makefile.binary @@ -0,0 +1,11 @@ +include config.mk + +GF_LIB_DIR=$(libdir)/GF-$(PACKAGE_VERSION) + +install: + $(INSTALL) -d $(bindir) + $(INSTALL) ./$(bindir)/* $(bindir) +# overwrite the old one with the newly configured one if there is one + [ -f jgf ] && $(INSTALL) jgf $(bindir) + $(INSTALL) -d $(GF_LIB_DIR) + $(INSTALL) -m 0644 ./$(GF_LIB_DIR)/* $(GF_LIB_DIR) |
