Skip to content

Instantly share code, notes, and snippets.

@GallagherCommaJack

GallagherCommaJack/install_agda.sh

Last active August 29, 2015 14:23
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save GallagherCommaJack/87af3b00f7f2e6069457 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save GallagherCommaJack/87af3b00f7f2e6069457 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
install_agda.sh
# Installs agda into a folder in your home directory with sensible organization
# First, make an agda folder in the home dir
mkdir $HOME/agda
# Next, clone the repo
cd $HOME/agda
git clone https://github.com/agda/agda.git repo
cd repo
cabal sandbox init
cabal install
ln -s $HOME/agda/repo/.cabal-sandbox/bin $HOME/agda/agdabin
cd ..
git clone https://github.com/agda/agda-stdlib.git #now you have a stdlib too
ln -s $HOME/agda/agda-stdlib/src $HOME/agda/agdalib
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment