bitml-compiler/install.sh at master · bitml-lang/bitml-compiler · 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
sudo add-apt-repository -y ppa:plt/racket
sudo apt-get update
sudo apt-get -y install libgmpxx4ldbl libbdd0c2 racket libsigsegv2

raco pkg install --auto

cd ..

wget http://de.archive.ubuntu.com/ubuntu/pool/main/r/readline/libreadline7_7.0-3_amd64.deb
sudo dpkg -i libreadline7_7.0-3_amd64.deb
rm libreadline7_7.0-3_amd64.deb

rm -f maude.tar.gz
wget http://blockchain.unica.it/maude/maude.tar.gz
tar -xf maude.tar.gz
rm maude.tar.gz

rm -rf bitml-maude
git clone https://github.com/bitml-lang/bitml-maude.git

sudo rm -f /etc/profile.d/bitml.sh
sudo sh -c "echo \"export MAUDE_PATH=`pwd`/maude\" >> /etc/profile.d/bitml.sh"
sudo sh -c "echo \"export MAUDE_MC_PATH=`pwd`/maude\" >> /etc/profile.d/bitml.sh"
sudo sh -c "echo \"export BITML_MAUDE_PATH=`pwd`/bitml-maude\" >> /etc/profile.d/bitml.sh"
sudo chmod +x /etc/profile.d/bitml.sh
/etc/profile.d/bitml.sh