on master help sign in
Another cabal fix
commit4c3fb9b032166f056bb73bbc97fd64f358832dc7 authorEdwin Brady <eb@cs.st-andrews.ac.uk> dateTue 17 Jan 2012, 16:56 (15 years ago) parent1d76cd3
2 files changed+3−2
Setup.hs+2−1 lib/Makefile+1−1
Setup.hs+2−1
@@ -27,10 +27,11 @@ postInstLib args flags desc local
2727 let dirs = substituteInstallDirTemplates cenv dirs_pkg
2828 let datad = datadir dirs
2929 let datasubd = datasubdir dirs
30+ let bind = fromPathTemplate (bindir dirs)
3031 let idir = fromPathTemplate (datadir dirs) ++ "/" ++
3132 fromPathTemplate (datasubdir dirs)
3233 putStrLn $ "Installing libraries in " ++ idir
33− system' $ "make -C lib install TARGET=" ++ idir
34+ system' $ "make -C lib install TARGET=" ++ idir ++ " BINDIR=" ++ bind
3435
3536main = defaultMainWithHooks (simpleUserHooks { postInst = postInstLib,
3637 postClean = postCleanLib })
lib/Makefile+1−1
@@ -1,6 +1,6 @@
11
22check: .PHONY
3− idris --noprelude --verbose --check checkall.idr
3+ $(BINDIR)/idris --noprelude --verbose --check checkall.idr
44
55recheck: clean check
66