Skip to content

Instantly share code, notes, and snippets.

@CarlOlson

CarlOlson/osx-build.org

Created March 28, 2017 15:11
Show Gist options
  • Save CarlOlson/cb36603e37f981bee5ff046c4967e442 to your computer and use it in GitHub Desktop.
Save CarlOlson/cb36603e37f981bee5ff046c4967e442 to your computer and use it in GitHub Desktop.
Download ZIP
Cedille build instructions for OSX (and maybe linux)
Raw
osx-build.org

OSX Setup

First install the nix package manager: https://nixos.org/nix/

Then install the dependencies:

nix-env -f "<nixpkgs>" -iA haskellPackages.ghc
nix-env -f "<nixpkgs>" -iA haskellPackages.cabal-install
nix-env -f "<nixpkgs>" -iA haskellPackages.Agda
cabal update
cabal install ieee
cabal install text

Finally build ial and cedille:

git svn clone https://svn.divms.uiowa.edu/repos/clc/projects/agda/ial
git svn clone https://svn.divms.uiowa.edu/repos/clc/projects/lambda-encodings/implementations/cedille
ln -s ial cedille
make -C ial
make -C cedille
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment