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

Add correct version of the MiniZinc compiler

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

4
.gitmodules vendored
View File

@ -14,3 +14,7 @@
path = software/chuffed path = software/chuffed
url = git@github.com:Dekker1/chuffed.git url = git@github.com:Dekker1/chuffed.git
branch = feature/on_restart branch = feature/on_restart
[submodule "software/minizinc"]
path = software/minizinc
url = git@github.com:Dekker1/libminizinc.git
branch = feature/on_restart

2
install.sh
View File

@ -8,7 +8,7 @@ module load flex
mkdir -p software/{build,install} mkdir -p software/{build,install}
# Build Chuffed # Build Chuffed
for dir in "chuffed" "gecode" "gecode_on_record" "gecode_on_replay" for dir in "chuffed" "gecode" "gecode_on_record" "gecode_on_replay" "minizinc"
do do
cmake -S software/${dir} -B software/build/${dir} -DCMAKE_BUILD_TYPE=RELEASE -DCMAKE_INSTALL_PREFIX=`pwd`/software/install/${dir} cmake -S software/${dir} -B software/build/${dir} -DCMAKE_BUILD_TYPE=RELEASE -DCMAKE_INSTALL_PREFIX=`pwd`/software/install/${dir}
cmake --build software/build/${dir} --config Release --target install -- -j4 cmake --build software/build/${dir} --config Release --target install -- -j4

2
setup.sh
View File

@ -4,4 +4,4 @@ timeout_sec=120
record_timeout_sec=240 record_timeout_sec=240
runs=10 runs=10
module load MiniZinc/2.5.5 export PATH=`pwd`/software/install/minizinc/bin:$PATH

1
software/minizinc Submodule

@ -0,0 +1 @@
Subproject commit 4f10c82056ffcb1041d7ffef29d77a7eef92cf76