OPTS="-W -O2 -XStandaloneDeriving"
PROFOPTS="-O2 -rtsopts -prof -auto-all -caf-all -XStandaloneDeriving -XDeriveDataTypeable"
CABAL=cabal
CABALI=$(CABAL) install --ghc-options=$(OPTS)
CABALP=$(CABAL) install --ghc-options=$(OPTS) -p
DEPS=unix-compat transformers mtl filemanip text parsec ghc-paths deepseq comonad contravariant semigroupoids semigroups bifunctors hscolour ansi-terminal hashable unordered-containers
TASTY=./dist/build/test/test
all:
$(CABAL) install --ghc-options=$(OPTS)
force:
$(CABAL) install --force-reinstalls --ghc-options=$(OPTS)
rebuild: ocaml
make
igoto:
$(CABAL) configure --ghc-options=$(OPTS)
goto:
$(CABAL) build --ghc-options=$(OPTS)
cp dist/build/liquid/liquid ~/.cabal/bin/
prof:
$(CABAL) install --enable-executable-profiling --enable-library-profiling --ghc-options=$(PROFOPTS)
clean:
cabal clean
docs:
$(CABAL) haddock --executables --internal --hoogle --hyperlink-source #--html-location=http://goto.ucsd.edu/~rjhala/llvm-haskell/
deps:
$(CABALI) $(DEPS)
pdeps:
$(CABALP) $(DEPS)
lint:
hlint --colour --report .
tags:
hasktags -c src/
hasktags -e src/
hasktags -x -c src/
test:
cabal configure -fdevel --enable-tests --disable-library-profiling -O2
cabal build
cabal exec $(TASTY)
test710:
$(TASTY)