diff options
| author | krasimir <krasimir@chalmers.se> | 2009-12-13 18:50:29 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-12-13 18:50:29 +0000 |
| commit | f85232947e74ee7ef8c7b0ad2338212e7e68f1be (patch) | |
| tree | 667b886a5e3a4b026a63d4e3597f32497d824761 /deprecated/Makefile.binary | |
| parent | d88a865faff59c98fc91556ff8700b10ee5f2df8 (diff) | |
reorganize the directories under src, and rescue the JavaScript interpreter from deprecated
Diffstat (limited to 'deprecated/Makefile.binary')
| -rw-r--r-- | deprecated/Makefile.binary | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/deprecated/Makefile.binary b/deprecated/Makefile.binary new file mode 100644 index 000000000..0ae18a2e7 --- /dev/null +++ b/deprecated/Makefile.binary @@ -0,0 +1,20 @@ +include config.mk + +GF_DATA_DIR=$(datadir)/GF-$(PACKAGE_VERSION) +GF_LIB_DIR=$(GF_DATA_DIR)/lib + +.PHONY: install uninstall + +install: + $(INSTALL) -d $(bindir) + $(INSTALL) gf$(EXEEXT) gfdoc$(EXEEXT) $(bindir) + $(INSTALL) gfc$(EXEEXT) $(bindir) + $(INSTALL) -d $(GF_DATA_DIR) + cp -r lib $(GF_DATA_DIR) + +uninstall: + -rm -f $(bindir)/gf$(EXEEXT) $(bindir)/gfdoc$(EXEEXT) + -rm -f $GF_LIB_DIR)/*/*.gf{o} + -rmdir $(GF_LIB_DIR)/* + -rmdir $(GF_LIB_DIR) + -rmdir $(GF_DATA_DIR) |