Browse Source

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
master
Dave Parker 13 years ago
parent
commit
d42e0c6560
  1. 4
      prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc.cygwin

4
prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc.cygwin

@ -43,8 +43,8 @@ opts='-O3'
if [ "$so" != "" ]
then
$c -DINLINE=static -I.. -I../shared -I../bfp -I../bfp/bfp_LUSOL -I../bfp/bfp_LUSOL/LUSOL -I../colamd -s -O3 -shared -mno-cygwin -enable-stdcall-fixup -D_USRDLL -DWIN32 -DYY_NEVER_INTERACTIVE -DPARSER_LP -DINVERSE_ACTIVE=INVERSE_LUSOL -DRoleIsExternalInvEngine $src ..\lp_solve.def -o bin\$PLATFORM\lpsolve55.dll
$c -DINLINE=static -I.. -I../shared -I../bfp -I../bfp/bfp_LUSOL -I../bfp/bfp_LUSOL/LUSOL -I../colamd -s -O3 -shared -D_USRDLL -DWIN32 -DYY_NEVER_INTERACTIVE -DPARSER_LP -DINVERSE_ACTIVE=INVERSE_LUSOL -DRoleIsExternalInvEngine $src -o bin\$PLATFORM\liblpsolve55.so
$c -DINLINE=static -I.. -I../shared -I../bfp -I../bfp/bfp_LUSOL -I../bfp/bfp_LUSOL/LUSOL -I../colamd -s -O3 -shared -mno-cygwin -enable-stdcall-fixup -D_USRDLL -DWIN32 -DYY_NEVER_INTERACTIVE -DPARSER_LP -DINVERSE_ACTIVE=INVERSE_LUSOL -DRoleIsExternalInvEngine $src ../lp_solve.def -o bin/$PLATFORM/lpsolve55.dll
$c -DINLINE=static -I.. -I../shared -I../bfp -I../bfp/bfp_LUSOL -I../bfp/bfp_LUSOL/LUSOL -I../colamd -s -O3 -shared -D_USRDLL -DWIN32 -DYY_NEVER_INTERACTIVE -DPARSER_LP -DINVERSE_ACTIVE=INVERSE_LUSOL -DRoleIsExternalInvEngine $src -o bin/$PLATFORM/liblpsolve55.so
mv bin/$PLATFORM/lpsolve55.dll ../../../lib
fi

Loading…
Cancel
Save