diff --git a/dune b/dune index 6e81125..bb7c665 100644 --- a/dune +++ b/dune @@ -46,7 +46,7 @@ -DBUILD_STATIC_LIB=ON -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=binaryen) - (run ninja --build binaryen --config Release -- -j4) + (run ninja -C binaryen binaryen) (copy binaryen/lib/libbinaryen.a libbinaryen.a))))) (rule @@ -74,7 +74,7 @@ -DBUILD_STATIC_LIB=OFF -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=binaryen) - (run ninja --build binaryen --config Release -- -j4) + (run ninja -C binaryen binaryen) (copy binaryen/lib/libbinaryen.dylib dllbinaryen.so))))) (rule @@ -104,7 +104,7 @@ -DBUILD_STATIC_LIB=OFF -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=binaryen) - (run ninja --build binaryen --config Release -- -j4) + (run ninja -C binaryen binaryen) (copy binaryen/lib/libbinaryen.so dllbinaryen.so))))) (rule @@ -133,5 +133,5 @@ -DBUILD_STATIC_LIB=OFF -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=binaryen) - (run ninja --build binaryen --config Release -- -j4) + (run ninja -C binaryen binaryen) (copy binaryen/bin/libbinaryen.dll dllbinaryen.dll)))))