From 6b4b2e60ff77c72e89cc9a27b7d5ec81033efade Mon Sep 17 00:00:00 2001
From: FedericoAureliano <fmorarocha@gmail.com>
Date: Mon, 26 Aug 2024 19:13:09 -0700
Subject: [PATCH] add install instructions for amazon linux

---
 INSTALL.md | 53 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 53 insertions(+)
 create mode 100644 INSTALL.md

diff --git a/INSTALL.md b/INSTALL.md
new file mode 100644
index 000000000..451ab038d
--- /dev/null
+++ b/INSTALL.md
@@ -0,0 +1,53 @@
+# Install Instructions for Amazon Linux
+
+## Get Java 11
+```sh
+sudo rpm --import https://yum.corretto.aws/corretto.key
+sudo curl -L-o /etc/yum.repos.d/corretto.repo https://yum.corretto.aws/corretto.repo 
+sudo yum install java-11-amazon-corretto-devel
+```
+
+## Get SBT
+```sh
+sudo rm -f /etc/yum.repos.d/bintray-rpm.repo || true
+curl -L https://www.scala-sbt.org/sbt-rpm.repo > sbt-rpm.repo
+sudo mv sbt-rpm.repo /etc/yum.repos.d/
+sudo yum install sbt
+```
+
+## Get Z3
+```sh
+cd ~
+git clone https://github.com/Z3Prover/z3.git
+cd z3
+python scripts/mk_make.py --java 
+cd build; make
+```
+Then add `export PATH=$PATH:$HOME/z3/build/` and `export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$HOME/z3/build/` to your .zshrc and run 
+`source ~/.zshrc`.
+
+## Get UCLID5
+```sh
+cd ~
+git clone https://github.com/uclid-org/uclid.git
+cd uclid
+sbt update clean compile "set fork:=true" test # should fail some tests that use cvc5 and delphi 
+sbt universal:packageBin
+unzip target/universal/uclid-0.9.5.zip
+```
+Then add `export PATH=$PATH:$HOME/uclid/uclid-0.9.5/bin/` to your .zshrc and run `source ~/.zshrc`.
+
+## Get PVerifier
+```sh
+cd ~
+git clone https://github.com/FedericoAureliano/P.git
+cd P
+# follow regular P install instructions
+root=$(pwd)
+cd $root/Bld
+./build.sh
+dotnet tool uninstall --global P
+cd $root/Src/PCompiler/PCommandLine
+dotnet pack PCommandLine.csproj --configuration Release --output ./publish -p:PackAsTool=true -p:ToolCommandName=P -p:Version=2.1.3
+dotnet tool install P --global --add-source ./publish
+```
\ No newline at end of file