From f2ad55057a8ab505a236953e0c397649ea2eb60f Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Wed, 16 Jun 2021 13:34:22 +1000 Subject: [PATCH] Link solver libraries into MiniZinc --- install.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/install.sh b/install.sh index 30b9e5b..64e4054 100755 --- a/install.sh +++ b/install.sh @@ -14,3 +14,5 @@ do cmake --build software/build/${dir} --config Release --target install -- -j4 done +ln -s `pwd`/software/install/gecode/share/minizinc/gecode/mznlib `pwd`/software/install/minizinc/share/minizinc/gecode +ln -s `pwd`/software/install/chuffed/share/minizinc/chuffed `pwd`/software/install/minizinc/share/minizinc/chuffed