diff options
| author | bringert <unknown> | 2004-06-23 13:23:25 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2004-06-23 13:23:25 +0000 |
| commit | ba9d7ba3e2e2a01052101676f04ed7dc200f2cf3 (patch) | |
| tree | 4b9930a54dfe7b5f1e0b957c76d6e491ddaea151 /src/Makefile | |
| parent | e5315aa5fd12b57124f42123b4f981460258f578 (diff) | |
Do not use prefix inside the binary dist
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile index 40ccec930..4fc1f2928 100644 --- a/src/Makefile +++ b/src/Makefile @@ -134,9 +134,10 @@ binary-dist: ./configure --host="$(host)" CPPFLAGS="`lib__readline -I` `lib__ncurses -I`" LDFLAGS="`lib__readline -l` `lib__ncurses -l`" # make unix gfdoc jar make gfdoc jar - make prefix=$(BIN_DIST_DIR)/$(prefix) install + $(INSTALL) ../bin/gf util/gfdoc jgf + $(INSTALL) -m 0644 java/gf-java.jar $(INSTALL) configure $(BIN_DIST_DIR) - $(INSTALL) -m 0644 config.mk.in config.mk jgf.in $(BIN_DIST_DIR) + $(INSTALL) -m 0644 config.mk.in jgf.in $(BIN_DIST_DIR) $(INSTALL) -m 0644 ../README ../LICENSE $(BIN_DIST_DIR) $(INSTALL) -m 0644 INSTALL.binary $(BIN_DIST_DIR)/INSTALL $(INSTALL) -m 0644 Makefile.binary $(BIN_DIST_DIR)/Makefile |