search

trolando / sylvan

Implementation of multi-core (binary) decision diagrams
Apache License 2.0
65 stars 28 forks source link

Replace CMAKE_SOURCE_DIR by CMAKE_CURRENT_SOURCE_DIR #8

Closed himito closed 5 years ago

himito commented 5 years ago 
Scanning dependencies of target sylvan
[  4%] Building C object third-party/sylvan/src/CMakeFiles/sylvan.dir/lace.c.o
/home/arias/Work/code/lipn/pmc-sog/thread-sog/third-party/sylvan/src/lace.c:32:10: fatal error: lace.h: No such file or directory
 #include <lace.h>
          ^~~~~~~~
compilation terminated.
make[2]: *** [third-party/sylvan/src/CMakeFiles/sylvan.dir/build.make:63: third-party/sylvan/src/CMakeFiles/sylvan.dir/lace.c.o] Error 1
make[1]: *** [CMakeFiles/Makefile2:1036: third-party/sylvan/src/CMakeFiles/sylvan.dir/all] Error 2
make: *** [Makefile:152: all] Error 2