Dekker1/on-restart-benchmarks
Archived
1
0
Fork 0
Code

Link solver libraries into MiniZinc

Browse Source
This commit is contained in:
Jip J. Dekker 2021-06-16 13:34:22 +10:00
parent 69f55d8f98
commit f2ad55057a
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
install.sh
View File

@ -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