From: Michael Orlitzky Date: Tue, 5 Mar 2019 16:01:54 +0000 (-0500) Subject: makefile: remove unused "make llvm" and "make profile" targets. X-Git-Tag: 1.0.1~8 X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=2d5f265a2dbb3082e4af12e2eed21c952fa3f8c6;p=spline3.git makefile: remove unused "make llvm" and "make profile" targets. --- diff --git a/makefile b/makefile index 3862b33..5f586a7 100644 --- a/makefile +++ b/makefile @@ -31,16 +31,6 @@ $(TESTSUITE_BIN): $(SRCS) test/TestSuite.hs --enable-tests runghc Setup.hs build -llvm: $(PN).cabal $(SRCS) - FLAGS="llvm" make - -profile: $(SRCS) - runghc Setup.hs configure \ - --user \ - --prefix=/ \ - --enable-executable-profiling - runghc Setup.hs build - clean: runghc Setup.hs clean rm -rf dist/