make: *** No rule to make target `install' in MacOS M1

[snx90]

(base) snx90 :: ➜  build git:(master) cmake ../
-- The C compiler identification is AppleClang 12.0.0.12000032
-- The CXX compiler identification is AppleClang 12.0.0.12000032
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/cc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Looking for mmap
-- Looking for mmap - found
-- Found Argp: /opt/homebrew/lib/libargp.a  
-- Configuring done
-- Generating done
-- Build files have been written to: /Users/snx90/sylvan/build
(base) snx90 :: ➜  build git:(master) make && make test && make install
[  2%] Building C object _deps/lace-build/CMakeFiles/lace.dir/src/lace.c.o
[  5%] Linking C static library liblace.a
[  5%] Built target lace
[  7%] Building C object _deps/lace-build/CMakeFiles/lace14.dir/src/lace14.c.o
[ 10%] Linking C static library liblace14.a
[ 10%] Built target lace14
[ 13%] Building C object src/CMakeFiles/sylvan.dir/sha2.c.o
[ 15%] Building C object src/CMakeFiles/sylvan.dir/sylvan_bdd.c.o
[ 18%] Building C object src/CMakeFiles/sylvan.dir/sylvan_cache.c.o
[ 21%] Building C object src/CMakeFiles/sylvan.dir/sylvan_common.c.o
[ 23%] Building C object src/CMakeFiles/sylvan.dir/sylvan_hash.c.o
[ 26%] Building C object src/CMakeFiles/sylvan.dir/sylvan_ldd.c.o
[ 28%] Building C object src/CMakeFiles/sylvan.dir/sylvan_mt.c.o
[ 31%] Building C object src/CMakeFiles/sylvan.dir/sylvan_mtbdd.c.o
[ 34%] Building CXX object src/CMakeFiles/sylvan.dir/sylvan_obj.cpp.o
[ 36%] Building C object src/CMakeFiles/sylvan.dir/sylvan_refs.c.o
[ 39%] Building C object src/CMakeFiles/sylvan.dir/sylvan_sl.c.o
[ 42%] Building C object src/CMakeFiles/sylvan.dir/sylvan_stats.c.o
[ 44%] Building C object src/CMakeFiles/sylvan.dir/sylvan_table.c.o
[ 47%] Building C object src/CMakeFiles/sylvan.dir/sylvan_zdd.c.o
[ 50%] Linking CXX static library libsylvan.a
[ 50%] Built target sylvan
[ 52%] Building C object examples/CMakeFiles/bddmc.dir/bddmc.c.o
[ 55%] Building C object examples/CMakeFiles/bddmc.dir/getrss.c.o
[ 57%] Linking CXX executable bddmc
[ 57%] Built target bddmc
[ 60%] Building C object examples/CMakeFiles/lddmc.dir/lddmc.c.o
[ 63%] Building C object examples/CMakeFiles/lddmc.dir/getrss.c.o
[ 65%] Linking CXX executable lddmc
[ 65%] Built target lddmc
[ 68%] Building C object examples/CMakeFiles/ldd2bdd.dir/ldd2bdd.c.o
[ 71%] Building C object examples/CMakeFiles/ldd2bdd.dir/getrss.c.o
[ 73%] Linking CXX executable ldd2bdd
[ 73%] Built target ldd2bdd
[ 76%] Building C object examples/CMakeFiles/nqueens.dir/nqueens.c.o
[ 78%] Linking CXX executable nqueens
[ 78%] Built target nqueens
[ 81%] Building CXX object examples/CMakeFiles/simple.dir/simple.cpp.o
[ 84%] Linking CXX executable simple
[ 84%] Built target simple
[ 86%] Building C object test/CMakeFiles/test_basic.dir/test_basic.c.o
[ 89%] Linking CXX executable test_basic
[ 89%] Built target test_basic
[ 92%] Building CXX object test/CMakeFiles/test_cxx.dir/test_cxx.cpp.o
[ 94%] Linking CXX executable test_cxx
[ 94%] Built target test_cxx
[ 97%] Building C object test/CMakeFiles/test_zdd.dir/test_zdd.c.o
[100%] Linking CXX executable test_zdd
[100%] Built target test_zdd
Running tests...
Test project /Users/snx90/sylvan/build
    Start 1: test_basic
1/3 Test #1: test_basic .......................   Passed    1.49 sec
    Start 2: test_cxx
2/3 Test #2: test_cxx .........................   Passed    0.25 sec
    Start 3: test_zdd
3/3 Test #3: test_zdd .........................   Passed    5.15 sec

100% tests passed, 0 tests failed out of 3

Total Test time (real) =   6.90 sec
make: *** No rule to make target `install'.  Stop.

[trolando]

Is there a use case where installing Sylvan into the OS is preferred over just pulling it using CMake or as a git submodule or something? I kinda cleaned up those scripts under the assumption that users of Sylvan are using it as a library as part of their distribution, not as an external dependency that has to be installed on the operating system...

[jacopol]

I noticed that the "make install" target is also not generated on ubuntu.
The document recommends using "make install" (https://trolando.github.io/sylvan/)
The fmt-utwente clone of Sylvan is still installing properly.

[trolando]

So currently in versions v.1.7.1 and beyond, I changed the build script of Sylvan to use FetchContent to get the Lace dependency. This was necessary to allow Knor to use both Sylvan and Oink, which both use Lace. But now installing Sylvan on the OS is broken and I don't see how I can repair it without changing the dependency management yet again. Maybe using something like conan, or going back to forcing everyone to install lace/sylvan/oink to their operating system, which I am not a fan of, because it's annoying when you need to use different versions for some reason.