-
Notifications
You must be signed in to change notification settings - Fork 8
/
Copy pathmake.sh
executable file
·22 lines (19 loc) · 1.35 KB
/
make.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#!/bin/sh
[[ -e tmp.kya ]] && rm tmp.kya
sed "s/ArchiveEntry *\".*\"/ArchiveEntry \"FM19\/1 Bouncing ball\"/" < ../../lics/bouncing-ball-if.kyx >> tmp.kya
sed "s/Exercise *\".*\"/Exercise \"FM19\/2 Exercise: Runaround Robot\"/" < ../../lics/CurveBotExc.kyx >> tmp.kya
sed "s/ArchiveEntry *\".*\"/ArchiveEntry \"FM19\/2 Solution: Runaround Robot\"/" < ../../lics/CurveBotDef.kyx >> tmp.kya
sed "s/ArchiveEntry *\"\(.*\)\"/ArchiveEntry \"FM19\/3 \1\"/" <../../lfcps-tutorial/swirl.kyx >> tmp.kya
cat > repls <<- EOM
s/ArchiveEntry *"Damp.*"/ArchiveEntry "FM19\/4 Damped oscillator"/
s/ArchiveEntry *"Increas.*"/ArchiveEntry "FM19\/4 Increasingly damped oscillator"/
EOM
sed -f repls < ../../lics/damposc.kyx >> tmp.kya
sed "s/ArchiveEntry *\"\(.*\)\"/ArchiveEntry \"FM19\/5 \1\"/" <../../lfcps-tutorial/KeplerProblem.kyx >> tmp.kya
sed "s/ArchiveEntry *\".*\"/ArchiveEntry \"FM19\/6 Coasting Car\"/" < ../../lfcps-tutorial/CoastingCar.kyx >> tmp.kya
sed "s/ArchiveEntry *\".*\"/ArchiveEntry \"FM19\/7 Exercise: Accelerating Car\"/" < ../../lfcps-tutorial/carExc.kyx >> tmp.kya
sed "s/ArchiveEntry *\".*\"/ArchiveEntry \"FM19\/7 Solution: Accelerating Car\"/" < ../../popltutorial/time-safe.kyx >> tmp.kya
sed "s/ArchiveEntry *\"\(.*\)\"/ArchiveEntry \"FM19\/8 \1\"/" < speedcontrol.kyx >> tmp.kya
perl -pe 's/\xEF\xBB\xBF//g' < tmp.kya > fm-2019-tutorial.kyx
rm tmp.kya
rm repls