Browse Source

lpsolve Makefile fix (from Steffen Maercker).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8599 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 12 years ago
parent
commit
9e2c117954
  1. 3
      prism/ext/lpsolve55/Makefile

3
prism/ext/lpsolve55/Makefile

@ -33,12 +33,13 @@ checks:
fi;
../../lib/$(LIBPREFIX)lpsolve55$(LIBSUFFIX):
mkdir -p lib
@(if [ "$(OSTYPE)" = "cygwin" ]; then \
cp bin/$(BINDISTSUFFIX)/$(LIBPREFIX)lpsolve55$(LIBSUFFIX) ../../lib; \
else \
(cd src/lp_solve_5.5/lpsolve55 && \
ARCH=$(ARCH) c=$(C) sh -x $(LPSOLVE55_BUILD) \
) && mv lib/$(LIBPREFIX)lpsolve55$(LIBSUFFIX) ../../lib; \
) && mv lib/$(LIBPREFIX)lpsolve55$(LIBSUFFIX) ../../lib/; \
fi)
clean: checks

Loading…
Cancel
Save