2015-08-15 15:17:12 +02:00
|
|
|
|
|
|
|
|
# quick makefile to document how to do the various tasks
|
|
|
|
|
|
|
|
|
|
# there is no real reason to actually use the makefile except for a
|
|
|
|
|
# very small amount of convenience
|
|
|
|
|
|
|
|
|
|
.PHONY : init
|
|
|
|
|
init :
|
|
|
|
|
cabal sandbox init
|
2016-02-12 10:59:55 +01:00
|
|
|
cabal install happy
|
2015-08-15 15:17:12 +02:00
|
|
|
cabal install --only-dependencies --enable-tests
|
|
|
|
|
cabal configure --enable-tests
|
|
|
|
|
|
|
|
|
|
.PHONY : build
|
|
|
|
|
build :
|
|
|
|
|
cabal build
|
|
|
|
|
|
|
|
|
|
.PHONY : test
|
|
|
|
|
test : build
|
|
|
|
|
dist/build/Tests/Tests --hide-successes
|
|
|
|
|
|
|
|
|
|
.PHONY : website
|
|
|
|
|
website :
|
|
|
|
|
website/make_website.sh
|
|
|
|
|
|
|
|
|
|
.PHONY : clean
|
|
|
|
|
clean :
|
|
|
|
|
cabal clean
|
|
|
|
|
cabal sandbox delete
|
|
|
|
|
rm -Rf build/
|
|
|
|
|
|
