ghci:
	ghci -Wall -i:example -hidir dist/build -odir dist/build example/Synthesizer/LLVM/Test.hs

ghci7:
	ghci -XCPP -DNoImplicitPrelude=RebindableSyntax -Wall -i:example -hidir dist/build -odir dist/build example/Synthesizer/LLVM/Test.hs

# this call uses the installed synthesizer-llvm package
# and thus can also handle the foreign import of the FunPtr.
ghci-inst:
	ghci -Wall -i:example example/Synthesizer/LLVM/LNdW2011.hs

ghci7-inst:
	ghci -XCPP -DNoImplicitPrelude=RebindableSyntax -hide-package llvm -Wall example/Synthesizer/LLVM/LNdW2011.hs

ghci-server:
	ghci -Wall server/Synthesizer/LLVM/Server.hs server/Synthesizer/LLVM/Server/*.hs

runserver:
	./dist/build/synthi-llvm-server/synthi-llvm-server --device tee:default,'server-llvm.f32',raw +RTS -M16m -RTS

test:
#	runhaskell Setup configure --with-ghc=ghc-7.4.1 --with-haddock=haddock-ghc-7.4.1 --user -fbuildExamples -fbuildTests --disable-library-profiling --enable-shared --enable-executable-dynamic
	runhaskell Setup configure --user -fbuildExamples -fbuildTests --disable-library-profiling
	runhaskell Setup build
	runhaskell Setup haddock
	./dist/build/synthi-llvm-test/synthi-llvm-test

%.s:	%.bc
	llc $<

# This would lead to a cycle with llvm-as.
# %.ll:	%.bc
#	llvm-dis $<

%-dis.ll:	%.bc
	llvm-dis -o $@ $<

%.bc:	%.ll
	llvm-as $<

%-opt.bc:	%.bc
	opt -O3 < $< > $@