Aluriak / webclingo-example

Example of clingo usage on website as a client-side JS program
https://aluriak.github.io/webclingo-example/
12 stars 3 forks source link

Question about cmake call #7

Closed domoritz closed 6 years ago

domoritz commented 6 years ago

What is https://github.com/Aluriak/webclingo-example/blob/master/compile_web.sh#L29 for? It causes issues when I don't ignore it on my machine.

CMake Error: The source directory "/Users/domoritz/Developer/git/webclingo-example/clingo/build/web" does not appear to contain CMakeLists.txt.
Specify --help for usage, or press the help button on the CMake GUI.
Aluriak commented 6 years ago

In my understanding, it makes cmake prepare the compilation files. I included it only because it was in emscripten documentation.

Aluriak commented 6 years ago

Ok, i get the error too. Thanks to your new flags, this is catched properly now.

On a fresh install however, this line do not raise any error, nor seems necessary.

domoritz commented 6 years ago

I tried a fresh install and get an error

...
+ mkdir -p build/web
+ cd build/web
+ cmake .
CMake Error: The source directory "/tmp/webclingo-example/clingo/build/web" does not appear to contain CMakeLists.txt.
Specify --help for usage, or press the help button on the CMake GUI.

Could this be related to #2?