Hi,
After i upgraded my ubuntu to 16.04 LTS xenial version, I have started to get the following error when I run Make file.
I reinstalled gcc and updated again.
I tried to compile cudd separately but does not work anyway. Any hint would be helpful

Thank you.

.....
In file included from ../lp_crash.c:21:0:
../shared/commonlib.h:88:24: error: expected identifier or ‘(’ before numeric constant
   #define FALSE        0
                        ^
In file included from ../lp_lib.c:41:0:
../lp_lib.h:63:0: warning: "isnan" redefined
 # define isnan(x) FALSE
 ^
In file included from ../lp_lib.c:27:0:
/usr/include/math.h:292:0: note: this is the location of the previous definition
 #  define isnan(x) __builtin_isnan (x)
 ^
In file included from ../lp_wlp.c:6:0:
../shared/commonlib.h:88:24: error: expected identifier or ‘(’ before numeric constant
   #define FALSE        0
                        ^
.
.
.
. 
   #define FALSE        0
                        ^
In file included from ../lp_utils.c:4:0:
../shared/commonlib.h:88:24: error: expected identifier or ‘(’ before numeric constant
   #define FALSE        0
                        ^
+ 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 -m64 -fPIC -DPIC -shared -Wl,-Bsymbolic -Wl,-soname,liblpsolve55.so -o bin/ux64/liblpsolve55.so 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 -lm -ldl
gcc: error: lp_MDO.o: No such file or directory
gcc: error: lp_crash.o: No such file or directory
gcc: error: lp_wlp.o: No such file or directory
gcc: error: lp_matrix.o: No such file or directory
gcc: error: lp_mipbb.o: No such file or directory
gcc: error: lp_MPS.o: No such file or directory
gcc: error: lp_params.o: No such file or directory
gcc: error: lp_presolve.o: No such file or directory
gcc: error: lp_price.o: No such file or directory
gcc: error: lp_pricePSE.o: No such file or directory
gcc: error: lp_scale.o: No such file or directory
gcc: error: lp_simplex.o: No such file or directory
gcc: error: lp_SOS.o: No such file or directory
gcc: error: lp_utils.o: No such file or directory
+ mv bin/ux64/liblpsolve55.so ../../../lib
mv: cannot stat 'bin/ux64/liblpsolve55.so': No such file or directory
+ rm colamd.o commonlib.o fortify.o ini.o lp_Hash.o lp_LUSOL.o lp_lib.o lp_report.o lp_rlp.o lusol.o mmio.o myblas.o yacc_read.o
mv: cannot stat 'lib/liblpsolve55.so': No such file or directory
Makefile:36: recipe for target '../../lib/liblpsolve55.so' failed
make[1]: *** [../../lib/liblpsolve55.so] Error 1
make[1]: Leaving directory '/home/sinem/Downloads/prism-4.3-src/ext/lpsolve55'
Makefile:327: recipe for target 'extpackages' failed
make: *** [extpackages] Error 1

Hello Sinem,

> After i upgraded my ubuntu to 16.04 LTS xenial version, I have
> started to get the following error when I run Make file. I
> reinstalled gcc and updated again. I tried to compile cudd separately
> but does not work anyway. Any hint would be helpful

Yes, there is a compilation problem with the lpsolve library and recent
compilers. There is already a fix in the development trunk version of
PRISM [1].

To fix this issue for the 4.3 sources downloaded from the website, apply
the attached patch:

In the prism-4.3-src directory, execute

patch -p1 < path-to-the-attached-file/fix-lpsolve-compilation.patch


Cheers,
Joachim Klein

[1]
http://www.prismmodelchecker.org/wiki/Developers/GettingTheSource