Skip to content

Commit 7caa922

Browse files
committed
Add script tune
1 parent fac5d0d commit 7caa922

File tree

1 file changed

+16
-0
lines changed

1 file changed

+16
-0
lines changed

bin/tune

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
#!/bin/bash -eu
2+
3+
if [[ $(basename $(pwd)) == "bin" ]]; then
4+
cd ..
5+
fi
6+
7+
# check Julia version
8+
9+
# check that the active manifest is the default manifest
10+
11+
# create new prob_xxx.bin file
12+
# copy it to the prob_xxx.bin.default file
13+
# run xz
14+
15+
# delete the relevant compiled package folder
16+
# load the package

0 commit comments

Comments
 (0)