From b472f724d12244a1f840671f3dcd9889f3b6a9e8 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 18 Dec 2012 12:20:16 +0000 Subject: [PATCH] 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 --- .../lpsolve55/src/lp_solve_5.5/lpsolve55/ccc.cygwin | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc.cygwin b/prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc.cygwin index c07d2a03..9f9b5cd3 100644 --- a/prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc.cygwin +++ b/prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc.cygwin @@ -37,15 +37,15 @@ fi opts='-O3' -$c -s -c -I.. -I../shared -I../bfp -I../bfp/bfp_LUSOL -I../bfp/bfp_LUSOL/LUSOL -I../colamd $opts $def $NOISNAN -DYY_NEVER_INTERACTIVE -DPARSER_LP -DINVERSE_ACTIVE=INVERSE_LUSOL -DRoleIsExternalInvEngine -mno-cygwin $src -ar rv bin/$PLATFORM/liblpsolve55.a `echo $src|sed s/[.]c/.o/g|sed 's/[^ ]*\///g'` -ranlib bin/$PLATFORM/liblpsolve55.a +#$c -s -c -I.. -I../shared -I../bfp -I../bfp/bfp_LUSOL -I../bfp/bfp_LUSOL/LUSOL -I../colamd $opts $def $NOISNAN -DYY_NEVER_INTERACTIVE -DPARSER_LP -DINVERSE_ACTIVE=INVERSE_LUSOL -DRoleIsExternalInvEngine -mno-cygwin $src +#ar rv bin/$PLATFORM/liblpsolve55.a `echo $src|sed s/[.]c/.o/g|sed 's/[^ ]*\///g'` +#ranlib bin/$PLATFORM/liblpsolve55.a if [ "$so" != "" ] then - $c -fpic -s -c -I.. -I../shared -I../bfp -I../bfp/bfp_LUSOL -I../bfp/bfp_LUSOL/LUSOL -I../colamd -I. $opts $NOISNAN -DYY_NEVER_INTERACTIVE -DPARSER_LP -DINVERSE_ACTIVE=INVERSE_LUSOL -DRoleIsExternalInvEngine -mno-cygwin $src - $c -shared -Wl,--add-stdcall-alias -Wl,-Bsymbolic -Wl,-soname,liblpsolve55.dll -mno-cygwin -o bin/$PLATFORM/liblpsolve55.dll `echo $src|sed s/[.]c/.o/g|sed 's/[^ ]*\///g'` -lc -lm -ldl - mv bin/$PLATFORM/liblpsolve55.dll ../../../lib + $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 rm *.o 2>/dev/null