search

prismmodelchecker / prism

The main development version of the PRISM model checker.
http://www.prismmodelchecker.org/
GNU General Public License v2.0
153 stars 69 forks source link

Make fails for prism 4.6 on MacOS catalina 10.15 #132

Closed oyendrila-dobe closed 4 years ago

oyendrila-dobe commented 4 years ago

make fails with an error invalid use of a restricted identifier 'yield'. I have attached below the output of make.

VERSION: 4.6.dev
OSTYPE/ARCH: darwin x86_64
JAVA_DIR: /System/Library/Frameworks/JavaVM.framework/Versions/Current
JAVA_DIR_BACKUP: /Library/Java/JavaVirtualMachines/adoptopenjdk-14.jdk/Contents/Home
JAVAC: /usr/bin/javac
Making cudd ...
sh ./setup.sh
Making cudd ...
gcc -c  cuddAPI.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddAddAbs.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddAddApply.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddAddFind.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddAddIte.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddAddInv.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddAddNeg.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddAddWalsh.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddAndAbs.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddAnneal.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddApa.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddApprox.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddBddAbs.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddBddCorr.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddBddIte.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddBridge.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddCache.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddCheck.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddClip.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddCof.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddCompose.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddDecomp.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddEssent.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddExact.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddExport.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddGenCof.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddGenetic.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddGroup.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddHarwell.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddInit.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddInteract.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddLCache.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddLevelQ.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddLinear.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddLiteral.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddMatMult.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddPriority.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddRead.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddRef.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddReorder.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddSat.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddSign.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddSolve.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddSplit.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddSubsetHB.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddSubsetSP.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddSymmetry.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddTable.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
cuddTable.c:1480:6: warning: 'finite' is deprecated: first deprecated in macOS 10.9 - Use `isfinite((double)x)` instead. [-Wdeprecated-declarations]
        if (finite(value)) {
            ^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/math.h:749:12: note: 'finite' has been explicitly marked deprecated here
extern int finite(double)
           ^
1 warning generated.
gcc -c  cuddUtil.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddWindow.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddZddCount.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddZddFuncs.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddZddGroup.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddZddIsop.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddZddLin.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddZddMisc.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddZddPort.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddZddReord.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddZddSetop.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddZddSymm.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  cuddZddUtil.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
ar rv libcudd.a cuddAPI.o cuddAddAbs.o cuddAddApply.o cuddAddFind.o cuddAddIte.o cuddAddInv.o cuddAddNeg.o cuddAddWalsh.o cuddAndAbs.o cuddAnneal.o cuddApa.o cuddApprox.o cuddBddAbs.o cuddBddCorr.o cuddBddIte.o cuddBridge.o cuddCache.o cuddCheck.o cuddClip.o cuddCof.o cuddCompose.o cuddDecomp.o cuddEssent.o cuddExact.o cuddExport.o cuddGenCof.o cuddGenetic.o cuddGroup.o cuddHarwell.o cuddInit.o cuddInteract.o cuddLCache.o cuddLevelQ.o cuddLinear.o cuddLiteral.o cuddMatMult.o cuddPriority.o cuddRead.o cuddRef.o cuddReorder.o cuddSat.o cuddSign.o cuddSolve.o cuddSplit.o cuddSubsetHB.o cuddSubsetSP.o cuddSymmetry.o cuddTable.o cuddUtil.o cuddWindow.o cuddZddCount.o cuddZddFuncs.o cuddZddGroup.o cuddZddIsop.o cuddZddLin.o cuddZddMisc.o cuddZddPort.o cuddZddReord.o cuddZddSetop.o cuddZddSymm.o cuddZddUtil.o
ar: creating archive libcudd.a
a - cuddAPI.o
a - cuddAddAbs.o
a - cuddAddApply.o
a - cuddAddFind.o
a - cuddAddIte.o
a - cuddAddInv.o
a - cuddAddNeg.o
a - cuddAddWalsh.o
a - cuddAndAbs.o
a - cuddAnneal.o
a - cuddApa.o
a - cuddApprox.o
a - cuddBddAbs.o
a - cuddBddCorr.o
a - cuddBddIte.o
a - cuddBridge.o
a - cuddCache.o
a - cuddCheck.o
a - cuddClip.o
a - cuddCof.o
a - cuddCompose.o
a - cuddDecomp.o
a - cuddEssent.o
a - cuddExact.o
a - cuddExport.o
a - cuddGenCof.o
a - cuddGenetic.o
a - cuddGroup.o
a - cuddHarwell.o
a - cuddInit.o
a - cuddInteract.o
a - cuddLCache.o
a - cuddLevelQ.o
a - cuddLinear.o
a - cuddLiteral.o
a - cuddMatMult.o
a - cuddPriority.o
a - cuddRead.o
a - cuddRef.o
a - cuddReorder.o
a - cuddSat.o
a - cuddSign.o
a - cuddSolve.o
a - cuddSplit.o
a - cuddSubsetHB.o
a - cuddSubsetSP.o
a - cuddSymmetry.o
a - cuddTable.o
a - cuddUtil.o
a - cuddWindow.o
a - cuddZddCount.o
a - cuddZddFuncs.o
a - cuddZddGroup.o
a - cuddZddIsop.o
a - cuddZddLin.o
a - cuddZddMisc.o
a - cuddZddPort.o
a - cuddZddReord.o
a - cuddZddSetop.o
a - cuddZddSymm.o
a - cuddZddUtil.o
ranlib libcudd.a
Making dddmp ...
gcc -c dddmpStoreBdd.c -I../include -O3 -Wformat -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common    -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -Wl,-search_paths_first
clang: warning: -Wl,-search_paths_first: 'linker' input unused [-Wunused-command-line-argument]
gcc -c dddmpStoreAdd.c -I../include -O3 -Wformat -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common    -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -Wl,-search_paths_first
clang: warning: -Wl,-search_paths_first: 'linker' input unused [-Wunused-command-line-argument]
gcc -c dddmpStoreCnf.c -I../include -O3 -Wformat -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common    -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -Wl,-search_paths_first
clang: warning: -Wl,-search_paths_first: 'linker' input unused [-Wunused-command-line-argument]
gcc -c dddmpLoad.c -I../include -O3 -Wformat -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common    -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -Wl,-search_paths_first
clang: warning: -Wl,-search_paths_first: 'linker' input unused [-Wunused-command-line-argument]
gcc -c dddmpLoadCnf.c -I../include -O3 -Wformat -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common    -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -Wl,-search_paths_first
clang: warning: -Wl,-search_paths_first: 'linker' input unused [-Wunused-command-line-argument]
gcc -c dddmpNodeBdd.c -I../include -O3 -Wformat -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common    -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -Wl,-search_paths_first
clang: warning: -Wl,-search_paths_first: 'linker' input unused [-Wunused-command-line-argument]
gcc -c dddmpNodeAdd.c -I../include -O3 -Wformat -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common    -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -Wl,-search_paths_first
clang: warning: -Wl,-search_paths_first: 'linker' input unused [-Wunused-command-line-argument]
gcc -c dddmpNodeCnf.c -I../include -O3 -Wformat -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common    -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -Wl,-search_paths_first
clang: warning: -Wl,-search_paths_first: 'linker' input unused [-Wunused-command-line-argument]
gcc -c dddmpStoreMisc.c -I../include -O3 -Wformat -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common    -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -Wl,-search_paths_first
clang: warning: -Wl,-search_paths_first: 'linker' input unused [-Wunused-command-line-argument]
gcc -c dddmpUtil.c -I../include -O3 -Wformat -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common    -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -Wl,-search_paths_first
clang: warning: -Wl,-search_paths_first: 'linker' input unused [-Wunused-command-line-argument]
gcc -c dddmpBinary.c -I../include -O3 -Wformat -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common    -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -Wl,-search_paths_first
clang: warning: -Wl,-search_paths_first: 'linker' input unused [-Wunused-command-line-argument]
gcc -c dddmpConvert.c -I../include -O3 -Wformat -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common    -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -Wl,-search_paths_first
clang: warning: -Wl,-search_paths_first: 'linker' input unused [-Wunused-command-line-argument]
gcc -c dddmpDbg.c -I../include -O3 -Wformat -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common    -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -Wl,-search_paths_first
clang: warning: -Wl,-search_paths_first: 'linker' input unused [-Wunused-command-line-argument]
ar rv libdddmp.a dddmpStoreBdd.o dddmpStoreAdd.o dddmpStoreCnf.o dddmpLoad.o dddmpLoadCnf.o dddmpNodeBdd.o dddmpNodeAdd.o dddmpNodeCnf.o dddmpStoreMisc.o dddmpUtil.o dddmpBinary.o dddmpConvert.o dddmpDbg.o
ar: creating archive libdddmp.a
a - dddmpStoreBdd.o
a - dddmpStoreAdd.o
a - dddmpStoreCnf.o
a - dddmpLoad.o
a - dddmpLoadCnf.o
a - dddmpNodeBdd.o
a - dddmpNodeAdd.o
a - dddmpNodeCnf.o
a - dddmpStoreMisc.o
a - dddmpUtil.o
a - dddmpBinary.o
a - dddmpConvert.o
a - dddmpDbg.o
ranlib libdddmp.a
Making mtr ...
gcc -c  mtrBasic.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
gcc -c  mtrGroup.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  
ar rv libmtr.a mtrBasic.o mtrGroup.o
ar: creating archive libmtr.a
a - mtrBasic.o
a - mtrGroup.o
ranlib libmtr.a
Making st ...
gcc -c st.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common
ar rv libst.a st.o
ar: creating archive libst.a
a - st.o
ranlib libst.a
Making util ...
gcc -c cpu_time.c -I../include  -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common
gcc -c cpu_stats.c -I../include  -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common
cpu_stats.c:40:36: warning: 'sbrk' is deprecated [-Wdeprecated-declarations]
    vm_sbrk_data = (long) (((long) sbrk(0) - (long) (&end)) / 1024.0 + 0.5);
                                   ^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/unistd.h:582:1: note: 'sbrk' has been explicitly marked deprecated here
__deprecated __WATCHOS_PROHIBITED __TVOS_PROHIBITED
^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/sys/cdefs.h:187:40: note: expanded from macro '__deprecated'
#define __deprecated    __attribute__((__deprecated__))
                                       ^
1 warning generated.
gcc -c safe_mem.c -I../include  -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common
gcc -c strsav.c -I../include  -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common
gcc -c texpand.c -I../include  -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common
gcc -c ptime.c -I../include  -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common
gcc -c prtime.c -I../include  -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common
gcc -c pipefork.c -I../include  -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common
gcc -c pathsearch.c -I../include  -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common
gcc -c stub.c -I../include  -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common
gcc -c datalimit.c -I../include  -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common
ar rv libutil.a cpu_time.o cpu_stats.o safe_mem.o strsav.o texpand.o ptime.o prtime.o pipefork.o pathsearch.o stub.o datalimit.o
ar: creating archive libutil.a
a - cpu_time.o
a - cpu_stats.o
a - safe_mem.o
a - strsav.o
a - texpand.o
a - ptime.o
a - prtime.o
a - pipefork.o
a - pathsearch.o
a - stub.o
a - datalimit.o
ranlib libutil.a
Making epd ...
gcc -c epd.c -I../include -O3 -Wformat  -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common
ar rv libepd.a epd.o
ar: creating archive libepd.a
a - epd.o
ranlib libepd.a
Making lpsolve55 ...
mkdir -p lib
+ :
+ src='../lp_MDO.c ../shared/commonlib.c ../shared/mmio.c ../shared/myblas.c ../ini.c ../fortify.c ../colamd/colamd.c ../lp_rlp.c ../lp_crash.c ../bfp/bfp_LUSOL/lp_LUSOL.c ../bfp/bfp_LUSOL/LUSOL/lusol.c ../lp_Hash.c ../lp_lib.c ../lp_wlp.c ../lp_matrix.c ../lp_mipbb.c ../lp_MPS.c ../lp_params.c ../lp_presolve.c ../lp_price.c ../lp_pricePSE.c ../lp_report.c ../lp_scale.c ../lp_simplex.c ../lp_SOS.c ../lp_utils.c ../yacc_read.c'
+ echo '#include <stdlib.h>'
+ echo '#include <stdio.h>'
+ echo 'main(){printf("osx%d", (int) (sizeof(void *)*8));}'
+ gcc -arch x86_64 /tmp/platform.c -o /tmp/platform
/tmp/platform.c:3:1: warning: type specifier missing, defaults to 'int' [-Wimplicit-int]
main(){printf("osx%d", (int) (sizeof(void *)*8));}
^
1 warning generated.
++ /tmp/platform
+ PLATFORM=osx64
+ rm /tmp/platform /tmp/platform.c
+ mkdir bin bin/osx64
+ echo '#include <stdio.h>'
+ echo '#include <stdlib.h>'
+ echo '#include <math.h>'
+ echo 'main(){isnan(0.0);}'
+ gcc -arch x86_64 /tmp/isnan.c -o /tmp/isnan
+ '[' 0 = 0 ']'
+ NOISNAN=
+ rm /tmp/isnan.c /tmp/isnan
+ def=
+ dl=-ldl
+ so=y
+ opts='-idirafter /usr/include/sys -O3 -DINTEGERTIME'
+ gcc -arch x86_64 -s -c -I.. -I../shared -I../bfp -I../bfp/bfp_LUSOL -I../bfp/bfp_LUSOL/LUSOL -I../colamd -idirafter /usr/include/sys -O3 -DINTEGERTIME -DYY_NEVER_INTERACTIVE -DPARSER_LP -DINVERSE_ACTIVE=INVERSE_LUSOL -DRoleIsExternalInvEngine ../lp_MDO.c ../shared/commonlib.c ../shared/mmio.c ../shared/myblas.c ../ini.c ../fortify.c ../colamd/colamd.c ../lp_rlp.c ../lp_crash.c ../bfp/bfp_LUSOL/lp_LUSOL.c ../bfp/bfp_LUSOL/LUSOL/lusol.c ../lp_Hash.c ../lp_lib.c ../lp_wlp.c ../lp_matrix.c ../lp_mipbb.c ../lp_MPS.c ../lp_params.c ../lp_presolve.c ../lp_price.c ../lp_pricePSE.c ../lp_report.c ../lp_scale.c ../lp_simplex.c ../lp_SOS.c ../lp_utils.c ../yacc_read.c
clang: warning: argument unused during compilation: '-s' [-Wunused-command-line-argument]
../lp_lib.c:1254:26: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
    if((lp->objfromvalue == NULL) /* || (lp->objtillvalue == NULL) */) {
        ~~~~~~~~~~~~~~~~~^~~~~~~
../lp_lib.c:1254:26: note: remove extraneous parentheses around the comparison to silence this warning
    if((lp->objfromvalue == NULL) /* || (lp->objtillvalue == NULL) */) {
       ~                 ^      ~
../lp_lib.c:1254:26: note: use '=' to turn this equality comparison into an assignment
    if((lp->objfromvalue == NULL) /* || (lp->objtillvalue == NULL) */) {
                         ^~
                         =
../lp_lib.c:1260:28: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
      if((lp->objfromvalue == NULL) /* || (lp->objtillvalue == NULL) */)
          ~~~~~~~~~~~~~~~~~^~~~~~~
../lp_lib.c:1260:28: note: remove extraneous parentheses around the comparison to silence this warning
      if((lp->objfromvalue == NULL) /* || (lp->objtillvalue == NULL) */)
         ~                 ^      ~
../lp_lib.c:1260:28: note: use '=' to turn this equality comparison into an assignment
      if((lp->objfromvalue == NULL) /* || (lp->objtillvalue == NULL) */)
                           ^~
                           =
2 warnings generated.
../lp_mipbb.c:527:26: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
    else if((BB->vartype == BB_INT)) {
             ~~~~~~~~~~~~^~~~~~~~~
../lp_mipbb.c:527:26: note: remove extraneous parentheses around the comparison to silence this warning
    else if((BB->vartype == BB_INT)) {
            ~            ^        ~
../lp_mipbb.c:527:26: note: use '=' to turn this equality comparison into an assignment
    else if((BB->vartype == BB_INT)) {
                         ^~
                         =
1 warning generated.
++ echo ../lp_MDO.c ../shared/commonlib.c ../shared/mmio.c ../shared/myblas.c ../ini.c ../fortify.c ../colamd/colamd.c ../lp_rlp.c ../lp_crash.c ../bfp/bfp_LUSOL/lp_LUSOL.c ../bfp/bfp_LUSOL/LUSOL/lusol.c ../lp_Hash.c ../lp_lib.c ../lp_wlp.c ../lp_matrix.c ../lp_mipbb.c ../lp_MPS.c ../lp_params.c ../lp_presolve.c ../lp_price.c ../lp_pricePSE.c ../lp_report.c ../lp_scale.c ../lp_simplex.c ../lp_SOS.c ../lp_utils.c ../yacc_read.c
++ sed 's/[.]c/.o/g'
++ sed 's/[^ ]*\///g'
+ libtool -static -o bin/osx64/liblpsolve55.a lp_MDO.o commonlib.o mmio.o myblas.o ini.o fortify.o colamd.o lp_rlp.o lp_crash.o lp_LUSOL.o lusol.o lp_Hash.o lp_lib.o lp_wlp.o lp_matrix.o lp_mipbb.o lp_MPS.o lp_params.o lp_presolve.o lp_price.o lp_pricePSE.o lp_report.o lp_scale.o lp_simplex.o lp_SOS.o lp_utils.o yacc_read.o
/Library/Developer/CommandLineTools/usr/bin/libtool: file: fortify.o has no symbols
+ '[' y '!=' '' ']'
+ gcc -arch x86_64 -fPIC -fno-common -s -c -I.. -I../shared -I../bfp -I../bfp/bfp_LUSOL -I../bfp/bfp_LUSOL/LUSOL -I../colamd -I. -idirafter /usr/include/sys -O3 -DINTEGERTIME -DYY_NEVER_INTERACTIVE -DPARSER_LP -DINVERSE_ACTIVE=INVERSE_LUSOL -DRoleIsExternalInvEngine ../lp_MDO.c ../shared/commonlib.c ../shared/mmio.c ../shared/myblas.c ../ini.c ../fortify.c ../colamd/colamd.c ../lp_rlp.c ../lp_crash.c ../bfp/bfp_LUSOL/lp_LUSOL.c ../bfp/bfp_LUSOL/LUSOL/lusol.c ../lp_Hash.c ../lp_lib.c ../lp_wlp.c ../lp_matrix.c ../lp_mipbb.c ../lp_MPS.c ../lp_params.c ../lp_presolve.c ../lp_price.c ../lp_pricePSE.c ../lp_report.c ../lp_scale.c ../lp_simplex.c ../lp_SOS.c ../lp_utils.c ../yacc_read.c
clang: warning: argument unused during compilation: '-s' [-Wunused-command-line-argument]
../lp_lib.c:1254:26: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
    if((lp->objfromvalue == NULL) /* || (lp->objtillvalue == NULL) */) {
        ~~~~~~~~~~~~~~~~~^~~~~~~
../lp_lib.c:1254:26: note: remove extraneous parentheses around the comparison to silence this warning
    if((lp->objfromvalue == NULL) /* || (lp->objtillvalue == NULL) */) {
       ~                 ^      ~
../lp_lib.c:1254:26: note: use '=' to turn this equality comparison into an assignment
    if((lp->objfromvalue == NULL) /* || (lp->objtillvalue == NULL) */) {
                         ^~
                         =
../lp_lib.c:1260:28: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
      if((lp->objfromvalue == NULL) /* || (lp->objtillvalue == NULL) */)
          ~~~~~~~~~~~~~~~~~^~~~~~~
../lp_lib.c:1260:28: note: remove extraneous parentheses around the comparison to silence this warning
      if((lp->objfromvalue == NULL) /* || (lp->objtillvalue == NULL) */)
         ~                 ^      ~
../lp_lib.c:1260:28: note: use '=' to turn this equality comparison into an assignment
      if((lp->objfromvalue == NULL) /* || (lp->objtillvalue == NULL) */)
                           ^~
                           =
2 warnings generated.
../lp_mipbb.c:527:26: warning: equality comparison with extraneous parentheses [-Wparentheses-equality]
    else if((BB->vartype == BB_INT)) {
             ~~~~~~~~~~~~^~~~~~~~~
../lp_mipbb.c:527:26: note: remove extraneous parentheses around the comparison to silence this warning
    else if((BB->vartype == BB_INT)) {
            ~            ^        ~
../lp_mipbb.c:527:26: note: use '=' to turn this equality comparison into an assignment
    else if((BB->vartype == BB_INT)) {
                         ^~
                         =
1 warning generated.
++ echo ../lp_MDO.c ../shared/commonlib.c ../shared/mmio.c ../shared/myblas.c ../ini.c ../fortify.c ../colamd/colamd.c ../lp_rlp.c ../lp_crash.c ../bfp/bfp_LUSOL/lp_LUSOL.c ../bfp/bfp_LUSOL/LUSOL/lusol.c ../lp_Hash.c ../lp_lib.c ../lp_wlp.c ../lp_matrix.c ../lp_mipbb.c ../lp_MPS.c ../lp_params.c ../lp_presolve.c ../lp_price.c ../lp_pricePSE.c ../lp_report.c ../lp_scale.c ../lp_simplex.c ../lp_SOS.c ../lp_utils.c ../yacc_read.c
++ sed 's/[.]c/.o/g'
++ sed 's/[^ ]*\///g'
+ gcc -arch x86_64 -dynamiclib bin/osx64/liblpsolve55.a -compatibility_version 5.5.0 -current_version 5.5.0 -o bin/osx64/liblpsolve55.dylib lp_MDO.o commonlib.o mmio.o myblas.o ini.o fortify.o colamd.o lp_rlp.o lp_crash.o lp_LUSOL.o lusol.o lp_Hash.o lp_lib.o lp_wlp.o lp_matrix.o lp_mipbb.o lp_MPS.o lp_params.o lp_presolve.o lp_price.o lp_pricePSE.o lp_report.o lp_scale.o lp_simplex.o lp_SOS.o lp_utils.o yacc_read.o -lc
+ mv bin/osx64/liblpsolve55.dylib ../../../lib
+ rm colamd.o commonlib.o fortify.o ini.o lp_Hash.o lp_LUSOL.o lp_MDO.o lp_MPS.o lp_SOS.o lp_crash.o lp_lib.o lp_matrix.o lp_mipbb.o lp_params.o lp_presolve.o lp_price.o lp_pricePSE.o lp_report.o lp_rlp.o lp_scale.o lp_simplex.o lp_utils.o lp_wlp.o lusol.o mmio.o myblas.o yacc_read.o
Making lp_solve_5.5_java ...
Making sure lpsolve55 Java wrapper is compatible with darwin x86_64
Rebuild lpsolve55 Java wrapper for MacOS
+ LPSOLVE_DIR=../../../lpsolve55/src/lp_solve_5.5
+ LPSOLVE_LIB_DIR=../../../../lib
+ SRC_DIR=../../src/c
+ INCL='-I/Library/Java/JavaVirtualMachines/adoptopenjdk-14.jdk/Contents/Home/include -I/Library/Java/JavaVirtualMachines/adoptopenjdk-14.jdk/Contents/Home/include/darwin -I ../../../lpsolve55/src/lp_solve_5.5 -I ../../src/c -idirafter /usr/include/sys'
+ '[' x86_64 = '' ']'
+ CFLAGS='-arch x86_64 -fPIC -DPIC -fno-common'
+ g++ -arch x86_64 -fPIC -DPIC -fno-common -I/Library/Java/JavaVirtualMachines/adoptopenjdk-14.jdk/Contents/Home/include -I/Library/Java/JavaVirtualMachines/adoptopenjdk-14.jdk/Contents/Home/include/darwin -I ../../../lpsolve55/src/lp_solve_5.5 -I ../../src/c -idirafter /usr/include/sys -c ../../src/c/lpsolve5j.cpp
+ g++ -arch x86_64 -fPIC -DPIC -fno-common -dynamiclib lpsolve5j.o -compatibility_version 5.5.0 -current_version 5.5.0 -o liblpsolve55j.jnilib -lc -llpsolve55 -L../../../../lib
Making src/dd ...
g++ --std=c++11 -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -c dd.cc -o ../../obj/dd/dd.o -I../../../cudd/include -I../../include
g++ --std=c++11 -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -c dd_abstr.cc -o ../../obj/dd/dd_abstr.o -I../../../cudd/include -I../../include
g++ --std=c++11 -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -c dd_basics.cc -o ../../obj/dd/dd_basics.o -I../../../cudd/include -I../../include
g++ --std=c++11 -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -c dd_cudd.cc -o ../../obj/dd/dd_cudd.o -I../../../cudd/include -I../../include
g++ --std=c++11 -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -c dd_export.cc -o ../../obj/dd/dd_export.o -I../../../cudd/include -I../../include
g++ --std=c++11 -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -c dd_info.cc -o ../../obj/dd/dd_info.o -I../../../cudd/include -I../../include
g++ --std=c++11 -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -c dd_matrix.cc -o ../../obj/dd/dd_matrix.o -I../../../cudd/include -I../../include
g++ --std=c++11 -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -c dd_term.cc -o ../../obj/dd/dd_term.o -I../../../cudd/include -I../../include
g++ --std=c++11 -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -c dd_test.cc -o ../../obj/dd/dd_test.o -I../../../cudd/include -I../../include
g++ --std=c++11 -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -c dd_vars.cc -o ../../obj/dd/dd_vars.o -I../../../cudd/include -I../../include
g++ -dynamiclib -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -Wl,-search_paths_first -o ../../lib/libdd.dylib ../../obj/dd/dd.o ../../obj/dd/dd_abstr.o ../../obj/dd/dd_basics.o ../../obj/dd/dd_cudd.o ../../obj/dd/dd_export.o ../../obj/dd/dd_info.o ../../obj/dd/dd_matrix.o ../../obj/dd/dd_term.o ../../obj/dd/dd_test.o ../../obj/dd/dd_vars.o -L../../../cudd/lib -lcudd -lutil -lmtr -lst -lepd
g++ -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -fno-common  -O3 -Wformat -Wl,-search_paths_first -o ../../obj/dd/dd_test ../../obj/dd/dd_test.o -L../../lib -ldd
Making src/jdd ...
(cd ..; javac -encoding UTF8 -sourcepath jdd/../../src -classpath "jdd/../../classes:jdd/../../lib/*" -h jdd/../../include/jni -d jdd/../../classes jdd/DebugJDD.java)
jdd/../../src/userinterface/properties/GUIExperiment.java:370: error: invalid use of a restricted identifier 'yield'
                                                        yield();
                                                        ^
  (to invoke a method called yield, qualify the yield with a receiver or type name)
jdd/../../src/userinterface/properties/GUIExperiment.java:375: error: invalid use of a restricted identifier 'yield'
                                        yield();
                                        ^
  (to invoke a method called yield, qualify the yield with a receiver or type name)
Note: Some input files use or override a deprecated API.
Note: Recompile with -Xlint:deprecation for details.
Note: Some input files use unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
2 errors
make[1]: *** [../../classes/jdd/DebugJDD.class] Error 1
make: *** [make_dirs] Error 1
oyendriladobe@MacBook-Pro prism % make test
bin/prism ../prism-tests/functionality/verify/dtmcs/dtmc_pctl.pm ../prism-tests/functionality/verify/dtmcs/dtmc_pctl.pm.props -prop 2 -test
make: bin/prism: No such file or directory
make: *** [test] Error 1
davexparker commented 4 years ago

Thanks for reporting this @oreohere. I'm guessing that this is caused by using a very new version of Java (14). I can test it out myself and look into a fix. In the meantime, rolling back to an older version of java will likely fix it.

davexparker commented 4 years ago

Fixed by #133, now in master.