search

palvaro / molly

An implementation of LDFI
126 stars 23 forks source link

Makefile errors #13

Open gopal-ramadugu opened 6 years ago

gopal-ramadugu commented 6 years ago

Below is the error I am getting while running the makefile. I am currently on MacOS High Sierra. I am installed Cmake(cmake version 3.11.2). Can you please look in to this ?

./Makefile ./Makefile: line 2: all:: command not found ./Makefile: line 4: clean-deps:: command not found ./Makefile: line 8: deps:: command not found ./Makefile: line 10: get-submodules:: command not found ./Makefile: line 13: c4:: command not found ./Makefile: line 15: z3:: command not found ./Makefile: line 17: lib/c4/build/src/libc4/libc4.dylib:: No such file or directory ./Makefile: line 18: @which: command not found ./Makefile: line 20: cd: lib/c4/build: No such file or directory ./Makefile: line 21: cd: lib/c4/build: No such file or directory ./Makefile: line 23: lib/z3/build/z3-dist:: No such file or directory make: *** No rule to make target `install'. Stop. ./Makefile: line 31: lib/z3/build/libz3.dylib:: No such file or directory ./Makefile: line 32: cd: lib/z3: No such file or directory ./Makefile: line 33: cd: lib/z3/build: No such file or directory ./Makefile: line 37: fast-test:: command not found ./Makefile: line 38: sbt: command not found

I also tried running using make command as well. CMake Error: The source directory "/Users/test/Downloads/molly-master/lib/c4" does not appear to contain CMakeLists.txt. Specify --help for usage, or press the help button on the CMake GUI. make: *** [lib/c4/build/src/libc4/libc4.dylib] Error 1

palvaro commented 6 years ago

I haven't tried building on High Sierra yet. I recommend running molly in vagrant using the vagrantfile.