harmony/webinstall at master · harmonylang/harmony · GitHub

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
32
33
34
35
36
37
mkdir -p output
make

dir=/research/harmony
mkdir -p $dir/code
mkdir -p $dir/modules
mkdir -p $dir/python
mkdir -p $dir/output
mkdir -p $dir/distributions

cd distributions
sh makedistr
cd ..

python3 src/archive/implode.py manifest > archive.xml
cp archive.xml $dir
python3 src/archive/implode.py /dev/null > $dir/version.xml

./harmony --noweb code/Up.hny
mv code/Up.htm output/Up.html
./harmony --noweb code/naiveLock.hny
mv code/naiveLock.htm output/naiveLock.html
./harmony --noweb code/naiveFlags.hny
mv code/naiveFlags.htm output/naiveFlags.html
cp output/*.html $dir/output

cp harmony harmony.py $dir
(cd book; make all)
cp book/paper.pdf $dir/book.pdf
cp HarmonyOnWindows.pdf $dir

cp code/*.hny $dir/code
cp modules/*.hny $dir/modules
cp python/*.py $dir/python
cp distributions/*.zip $dir/distributions

zip -r $dir/sources.zip code modules python