Joachim Klein
7cb9ce5788
[lpsolve] fix compilation issue in relation to isnan [with Sascha Wunderlich, David Müller]
The compilation wrapper 'ccc' of lpsolve tries to determine
whether the isnan macro is defined. The test program calls
isnan(0), i.e., with an integer argument. On current Arch Linux,
GCC uses _builtin_isnan, which leads to an error due to the integer
argument and the 'ccc' wrapper assumes that isnan is not defined.
This leads to compilation issues later on.
The fix replaces the isnan(0) test call with isnan(0.0).
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11216 bbc10eb1-c90d-0410-af57-cb519fbb1720
10 years ago
Dave Parker
9e2c117954
lpsolve Makefile fix (from Steffen Maercker).
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8599 bbc10eb1-c90d-0410-af57-cb519fbb1720
12 years ago
Vojtech Forejt
9ca61c1f74
changing permissions, to fix cygwin 64bit compilation
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8005 bbc10eb1-c90d-0410-af57-cb519fbb1720
12 years ago
Dave Parker
cb62c36630
More Makefile fixes for Win 64 build.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7560 bbc10eb1-c90d-0410-af57-cb519fbb1720
12 years ago
Dave Parker
fccb1a37a2
64-bit binary lpsolve DLL.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7556 bbc10eb1-c90d-0410-af57-cb519fbb1720
12 years ago
Dave Parker
2b614526e1
old, uncommitted lpsolve compiel fix
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6728 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago
Dave Parker
ebf6009569
lpsolve55j makefile fix.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6272 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago
Dave Parker
c6a6b330aa
More lpsolve(j) building.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6270 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago
Dave Parker
d9fe80a550
More lpsolve build fixes
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6266 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago
Dave Parker
2bbbd0ef52
32-bit Linux build of lpsolve55j.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6264 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago
Dave Parker
f5b74f986c
Update 32-bit Makefile for lpsolve.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6260 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago
Dave Parker
197de502a1
Use pre-built lpsolve libraries on Win.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6245 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago
Dave Parker
fc358c2418
Use pre-built lpsolve libraries on Win.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6244 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago
Dave Parker
9d2cdd6213
Use pre-built lpsolve libraries on Win.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6243 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago
Dave Parker
6e80fbfe8e
Use pre-built lpsolve libraries on Win.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6242 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago
Dave Parker
799e22cd9f
lpsolve makefile tweak.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6235 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago
Dave Parker
d42e0c6560
Next attempt at Cygwin build script for lpsolve.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6234 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago
Dave Parker
b472f724d1
Next attempt at Cygwin build script for lpsolve.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6233 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago
Dave Parker
a51ad81bc3
Remove hard-coded compilers in lpsolve.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6232 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago
Dave Parker
5b5a5ed52d
Add Cygwin lpsolve55 build script (untested).
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6231 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago
Dave Parker
aa9515c339
Better test for lpsolve55 Makefiles being called correctly (lib prefix empty on Windows).
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6224 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago
Dave Parker
c6fb0ffb9b
Copy across ext/ directory (containing lpsolve55 and lp_solve_5.5_java) from prism-multi to trunk.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6219 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago