search

karelklic / canal

Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32 stars 2 forks source link

shared_data_pointer does not build in different build directory #114

Closed xbrukner closed 11 years ago

xbrukner commented 11 years ago 
mkdir build
../configure
...skipped...
make
...skipped...
g++ -DHAVE_CONFIG_H -I. -I../../tool -I../lib  -I/home/xbrukner/canal_28/llvm/include   -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS  -I.. -DDATADIR='"/usr/local/share"'   -g -O2 -Wall -MT canal-Canal.o -MD -MP -MF .deps/canal-Canal.Tpo -c -o canal-Canal.o `test -f 'Canal.cpp' || echo '../../tool/'`Canal.cpp
In file included from ../../tool/Commands.h:4:0,
                 from ../../tool/Canal.cpp:1:
../../tool/Prereq.h:4:24: fatal error: lib/Prereq.h: No such file or directory
compilation terminated.
make[1]: *** [canal-Canal.o] Error 1
make[1]: Leaving directory `/home/xbrukner/canal_28/canal/build2/tool'
make: *** [all-recursive] Error 1