forked from GitHub/gf-core
added api/Combinators for Eng
This commit is contained in:
@@ -209,10 +209,7 @@ binary-dist:
|
||||
./configure --host="$(host)" --build="$(build)"
|
||||
$(MAKE) all
|
||||
$(INSTALL) ../bin/$(GF_EXE) tools/$(GF_DOC_EXE) $(BIN_DIST_DIR)
|
||||
$(INSTALL) -m 0644 JavaGUI/gf-java.jar $(BIN_DIST_DIR)
|
||||
$(INSTALL) -m 0644 $(GFEDITOR)/gfeditor.jar $(BIN_DIST_DIR)
|
||||
$(INSTALL) configure config.guess config.sub install-sh $(BIN_DIST_DIR)
|
||||
$(INSTALL) -m 0644 config.mk.in jgf.in gfeditor.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
|
||||
|
||||
@@ -11,14 +11,14 @@ exec_prefix="@exec_prefix@"
|
||||
GF_BIN_DIR="@bindir@"
|
||||
GF_DATA_DIR="@datadir@/GF-@PACKAGE_VERSION@"
|
||||
|
||||
GFBIN="$GF_BIN_DIR/gf3"
|
||||
GFBIN="$GF_BIN_DIR/gf"
|
||||
|
||||
if [ ! -x "${GFBIN}" ]; then
|
||||
GFBIN=`which gf3`
|
||||
GFBIN=`which gf`
|
||||
fi
|
||||
|
||||
if [ ! -x "${GFBIN}" ]; then
|
||||
echo "gf3 not found."
|
||||
echo "gf not found."
|
||||
exit 1
|
||||
fi
|
||||
|
||||
|
||||
Reference in New Issue
Block a user