-
Notifications
You must be signed in to change notification settings - Fork 9
GHC HEAD
Building a patched GHC HEAD for HERMIT:
# If on windows, uncomment the following line:
# git config --global core.autocrlf false
git clone http://darcs.haskell.org/ghc.git/
cd ghc
# no-dph saves you time by not compiling DPH, use as needed
./sync-all --testsuite --no-dph get
# saves some headaches
git config --global diff.ignoreSubmodules dirty
# apply the space leak patch
wget http://hackage.haskell.org/trac/ghc/raw-attachment/ticket/7702/Fix-thunk-leak-in-CoreM-s-CoreWriter-7702.patch
git am Fix-thunk-leak-in-CoreM-s-CoreWriter-7702.patch
# set up mk/build.mk
cp mk/build.mk.sample mk/build.mk
Now edit mk/build.mk
uncomment: BuildFlavour = quick
change: GhcLibWays = $(if $(filter $(DYNAMIC_GHC_PROGRAMS),YES),v dyn,v)
to: GhcLibWays = v dyn p
Now build ghc (and grab drink of your choice): See: http://hackage.haskell.org/trac/ghc/wiki/Building/Preparation if you have problems here.
perl boot
./configure
make
Once done, symlink the stage2 compiler.
cd inplace/bin
ln -s ghc-stage2 ghc
pwd
add the result of pwd to the beginning of your PATH. With the symlink, should allow you to use
your existing cabal with your newly compiled GHC HEAD
try: which ghc and ghc -V to make sure the right one is being used
also, edit your ~/.cabal/config to uncomment (or add) the following:
library-profiling: True
shared: True
executable-profiling: True
Now we need to build all the libraries HERMIT depends on. Cabal can take care of this for the most part, but some libraries need to be patched to work with HEAD.
cabal update
# need a version >= 0.11.2.3
cabal install text
# kure
git clone https://github.com/ku-fpg/kure.git
cd kure
cabal install
cd ..
# syb - if running syb-opt
git clone http://michaeldadams.org/projects/hermit/syb.git
cd syb
cabal install
cd ..
# unordered-containers - patched for HEAD
wget http://www.ittc.ku.edu/~afarmer/unordered-containers-0.2.3.0.tar.gz
tar -xvzf unordered-containers-0.2.3.0.tar.gz
cd unordered-containers-0.2.3.0
cabal install
cd ..
# blaze-builder - patched for HEAD
wget http://www.ittc.ku.edu/~afarmer/blaze-builder-0.3.1.0.tar.gz
tar -xvzf blaze-builder-0.3.1.0.tar.gz
cd blaze-builder-0.3.1.0
cabal install
cd ..
# aeson - patched for HEAD
wget http://www.ittc.ku.edu/~afarmer/aeson-0.6.1.0.tar.gz
tar -xvzf aeson-0.6.1.0.tar.gz
cd aeson-0.6.1.0
cabal install
cd ..
# You'll need happy >= 1.18.6 to build HERMIT
# But as happy is an application, you don't need to build it with GHC HEAD
# hermit
git clone git@github.com:ku-fpg/hermit.git
cd hermit
cabal install
cd ..
Now you should be able to run HERMIT with GHC HEAD.