-
Notifications
You must be signed in to change notification settings - Fork 1
/
package.sh
31 lines (27 loc) · 666 Bytes
/
package.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
#!/bin/bash
release=3
release_dir="zmim-r$release"
base="$release_dir/zmim"
mkdir -p $base
mkdir -p $base/resources
mkdir -p $base/saves
mkdir -p $base/scripts
mkdir -p $base/scripts/minizork
mkdir -p $base/src
mkdir -p $base/stories
cp ChangeLog $base
cp LICENSE $base
cp README.md $base
cp zmim.bas $base
cp zmim_cm1.bas $base
cp -R resources/* $base/resources
cp -R src/* $base/src
cp scripts/minizork/bench.scr $base/scripts/minizork
cp stories/minizork.z3 $base/stories
cp stories/sampler1.z3 $base/stories
cp stories/sampler2.z3 $base/stories
cp stories/tutorial.z3 $base/stories
cp docs/zmim.pdf $base
cd $release_dir
zip -r ../$release_dir.zip zmim
cd .