Merge pull request #231767 from jchw-forks/fix/soi

soi: fix missing luabind library
This commit is contained in:
Ryan Lahfa 2023-05-14 16:41:21 +02:00 committed by GitHub
commit 4a5a4e4d5e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -16,6 +16,7 @@ stdenv.mkDerivation rec {
cmakeFlags = [ cmakeFlags = [
"-DEIGEN_INCLUDE_DIR=${eigen2}/include/eigen2" "-DEIGEN_INCLUDE_DIR=${eigen2}/include/eigen2"
"-DLUABIND_LIBRARY=${luabind}/lib/libluabind09.a"
]; ];
meta = with lib; { meta = with lib; {