Better build configuration scripts

fteicht · Sep 5, 2017 · 69e32c3 · 69e32c3
1 parent 94ce6df
commit 69e32c3
Show file tree

Hide file tree

Showing 13 changed files with 5,654 additions and 1,090 deletions.
diff --git a/INSTALL b/INSTALL
diff --git a/Makefile.am b/Makefile.am
@@ -4,6 +4,8 @@ AUTOMAKE_OPTIONS = subdir-objects
 #	 -Wall\
 #	 -g -ggdb -O3
 
+ACLOCAL_AMFLAGS = -I m4
+
 bin_PROGRAMS = plannerclient plannertest
 
 plannerclient_LDADD = -lmdpsim -lm ${CUDD_LDFLAGS}

diff --git a/build.sh b/build.sh
@@ -71,7 +71,7 @@ echo "Compiling ppddl-planner"
 echo -e "\e[31mEnter the python version for which you want to compile the python wrapper ('none' if you do not want to compile the python bindings):\e[0m"
 read pythoncompatibility
 autoreconf -f -i
-./configure --prefix=$PREFIX --with-cudd-prefix=$CUDD --with-mdpsim-prefix=$MDPSIM --with-ff-command=$(readlink -f ${FF}/ff) --with-mff-command=$(readlink -f ${MFF}/ff) CFLAGS="-O3 -DNDEBUG" CXXFLAGS="-O3 -DNDEBUG" PYTHON_VERSION="$pythoncompatibility"
+./configure --prefix=$PREFIX --with-cudd-prefix=$CUDD --with-mdpsim-prefix=$MDPSIM --with-ff-command=$(readlink -f ${FF}/ff) --with-mff-command=$(readlink -f ${MFF}/ff) CFLAGS="-O3 -DNDEBUG" CXXFLAGS="-O3 -DNDEBUG" PYTHON_VERSION="$pythoncompatibility" LIBS="-ldl -lpthread -lutil"
 make -j$(($numcpu + 1))
 
 if [ "$installpolicy" == "prefix" ]; then

diff --git a/config.guess b/config.guess