on master help sign in
Another cabal fix
4c3fb9bEdwin Brady
Setup.hs+2−1
@@ -27,10 +27,11 @@ postInstLib args flags desc local
27 let dirs = substituteInstallDirTemplates cenv dirs_pkg
27 let dirs = substituteInstallDirTemplates cenv dirs_pkg
28 let datad = datadir dirs
28 let datad = datadir dirs
29 let datasubd = datasubdir dirs
29 let datasubd = datasubdir dirs
30+ let bind = fromPathTemplate (bindir dirs)
30 let idir = fromPathTemplate (datadir dirs) ++ "/" ++
31 let idir = fromPathTemplate (datadir dirs) ++ "/" ++
31 fromPathTemplate (datasubdir dirs)
32 fromPathTemplate (datasubdir dirs)
32 putStrLn $ "Installing libraries in " ++ idir
33 putStrLn $ "Installing libraries in " ++ idir
33− system' $ "make -C lib install TARGET=" ++ idir
34+ system' $ "make -C lib install TARGET=" ++ idir ++ " BINDIR=" ++ bind
34
35
35main = defaultMainWithHooks (simpleUserHooks { postInst = postInstLib,
36main = defaultMainWithHooks (simpleUserHooks { postInst = postInstLib,
36 postClean = postCleanLib })
37 postClean = postCleanLib })
lib/Makefile+1−1
@@ -1,6 +1,6 @@
1
1
2check: .PHONY
2check: .PHONY
3− idris --noprelude --verbose --check checkall.idr
3+ $(BINDIR)/idris --noprelude --verbose --check checkall.idr
4
4
5recheck: clean check
5recheck: clean check
6
6