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)