I have written a bash script that, starting from a freshly installed Ubuntu 18.04 Linux system, will install all of Haskell, TIP-tools, Isabelle2019, and IsaHipster, and it adds definitions for the values of HIPSTER_HOME and HASKELL_HOME to the file $ISABELLE_HOME_USER/etc/settings, creating the file if it does not already exist.
It is attached to this issue. Feel free to include it in this repository if you think it would be helpful for people who want to try out IsaHipster.
I have written a bash script that, starting from a freshly installed Ubuntu 18.04 Linux system, will install all of Haskell, TIP-tools, Isabelle2019, and IsaHipster, and it adds definitions for the values of HIPSTER_HOME and HASKELL_HOME to the file $ISABELLE_HOME_USER/etc/settings, creating the file if it does not already exist.
It is attached to this issue. Feel free to include it in this repository if you think it would be helpful for people who want to try out IsaHipster.
install-hipster.sh.txt