IDP cannot be built on Fedora 14

Quote from Max Ostrowski

Unfortunately i still was not able to build IDP.

I downloaded it from sourceforge and did

mkdir build

cd build

cmake .. -DCMAKE_BUILD_TYPE="StaticRelease" -DSPASS="OFF" -DWITHXSB="OFF" -DCMAKE_INSTALL_PREFIX=/home/ostrowsk/work/IDP -DBUILDTESTS="OFF"

I turned off SPASS and XSB (also i do not know what this is) as their configure scripts seem to be in DOS-ASCI7 format not compatible with my linux. (see ~~#913~~)

Even if i change them with dos2linux, i get errors there.

I also get errors if i compile with several threads, so i called

make -j1

But still i do not get an idp executable

....

Linking CXX static library libminisatid.a

[ 21%] Built target minisatid

Scanning dependencies of target minisatid-bin

[ 21%] Building CXX object lib/minisatid/src/CMakeFiles/minisatid-bin.dir/M! ain.cpp.o

Linking CXX executable minisatid

[ 21%] Built target minisatid-bin

Scanning dependencies of target linenoise

[ 21%] Building C object lib/interactiveShell/CMakeFiles/linenoise.dir/linenoise.c.o

[ 22%] Building C object lib/interactiveShell/CMakeFiles/linenoise.dir/utf8.c.o

Linking C static library liblinenoise.a

[ 22%] Built target linenoise

[ 22%] [FLEX][myscanner] Building scanner with flex 2.5.35

[ 22%] [BISON][myparser] Building parser with bison 3.0

Scanning dependencies of target gtestparser

[ 22%] Building CXX object lib/gtestparser/CMakeFiles/gtestparser.dir/Main.cpp.o

[ 22%] Building CXX object lib/gtestparser/CMakeFiles/gtestparser.dir/parser.cc.o

[ 22%] Building CXX object lib/gtestparser/CMakeFiles/gtestparser.dir/lexer.cc.o

Linking CXX executable gtestparser

[ 22%] Built target gtestparser

Scanning dependencies of target lua

[ 22%] Building CXX object! lib/lua/src/CMakeFiles/lua.dir/lapi.cpp.o

[ 22%] Building CXX object lib/lua/src/CMakeFiles/lua.dir/lauxlib.cpp.o

[ 22%] Building CXX object lib/lua/src/CMakeFiles/lua.dir/lbaselib.cpp.o

[ 22%] Building CXX object lib/lua/src/CMakeFiles/lua.dir/lcode.cpp.o

[ 22%] Building CXX object lib/lua/src/CMakeFiles/lua.dir/ldblib.cpp.o

[ 22%] Building CXX object lib/lua/src/CMakeFiles/lua.dir/ldebug.cpp.o

[ 24%] Building CXX object lib/lua/src/CMakeFiles/lua.dir/ldo.cpp.o

[ 24%] Building CXX object lib/lua/src/CMakeFiles/lua.dir/ldump.cpp.o

[ 24%] Building CXX object lib/lua/src/CMakeFiles/lua.dir/lfunc.cpp.o

[ 24%] Building CXX object lib/lua/src/CMakeFiles/lua.dir/lgc.cpp.o

[ 24%] Building CXX object lib/lua/src/CMakeFiles/lua.dir/linit.cpp.o

[ 24%] Building CXX object lib/lua/src/CMakeFiles/lua.dir/liolib.cpp.o

[ 24%] Building CXX object lib/lua/src/CMakeFiles/lua.dir/llex.cpp.o

[ 24%] Building CXX objec t lib/lua/src/CMakeFiles/lua.dir/lmathlib.cpp.o

[ 26%] Building ! CXX object lib/lua/src/CMakeFiles/lua.dir/lmem.cpp.o

[ 26%] Building CXX object lib/lua/src/CMakeFiles/lua.dir/loadlib.cpp.o

/home/ostrowsk/work/IDP/idp-3.5.0-Source/lib/lua/src/loadlib.cpp:93:21: fatal error: windows.h: No such file or directory

compilation terminated.

make[2]: *** [lib/lua/src/CMakeFiles/lua.dir/loadlib.cpp.o] Error 1

make[1]: *** [lib/lua/src/CMakeFiles/lua.dir/all] Error 2

make: *** [all] Error 2

Comments (2)