Browse Source

More lpsolve(j) building.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6267 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 13 years ago
parent
commit
55e0c90d10
  1. 2
      prism/ext/lp_solve_5.5_java/Makefile

2
prism/ext/lp_solve_5.5_java/Makefile

@ -20,7 +20,7 @@ lpsolve55java:
@(if [ "$(OSTYPE)" = "linux" ]; then \ @(if [ "$(OSTYPE)" = "linux" ]; then \
echo "Rebuild lpsolve55 Java wrapper for Linux"; \ echo "Rebuild lpsolve55 Java wrapper for Linux"; \
pushd lib/ ; \ pushd lib/ ; \
JAVA_JNI_H_DIR="$(JAVA_JNI_H_DIR)" sh build; \
ARCH=$(ARCH) JAVA_JNI_H_DIR="$(JAVA_JNI_H_DIR)" sh build; \
popd; \ popd; \
if [ "$(ARCH)" = "" ]; then \ if [ "$(ARCH)" = "" ]; then \
cp lib/lpsolve55j.jar lib/ux32/liblpsolve55j.so ../../lib/ ; \ cp lib/lpsolve55j.jar lib/ux32/liblpsolve55j.so ../../lib/ ; \

Loading…
Cancel
Save