diff --git a/Makefile b/Makefile index 63b62a2019..974e3d7d0e 100644 --- a/Makefile +++ b/Makefile @@ -15,14 +15,14 @@ endif endif install: - $(CABAL) install $(CABALFLAGS) + $(CABAL) v1-install $(CABALFLAGS) pinstall: CABALFLAGS += --enable-executable-profiling pinstall: dist/setup-config - $(CABAL) install $(CABALFLAGS) + $(CABAL) v1-install $(CABALFLAGS) build: dist/setup-config - $(CABAL) build $(CABALFLAGS) + $(CABAL) v1-build $(CABALFLAGS) test: doc test_c stylize @@ -49,7 +49,7 @@ lib_clean: $(MAKE) -C libs IDRIS=../../dist/build/idris/idris RTS=../../dist/build/rts/libidris_rts clean relib: lib_clean - $(CABAL) install $(CABALFLAGS) + $(CABAL) v1-install $(CABALFLAGS) linecount: wc -l src/Idris/*.hs src/Idris/Elab/*.hs src/Idris/Core/*.hs src/IRTS/*.hs src/Pkg/*.hs src/Util/*.hs @@ -76,7 +76,7 @@ user_doc_pdf: $(MAKE) -C docs latexpdf fast: - $(CABAL) install $(CABALFLAGS) --ghc-option=-O0 + $(CABAL) v1-install $(CABALFLAGS) --ghc-option=-O0 dist/setup-config: - $(CABAL) configure $(CABALFLAGS) + $(CABAL) v1-configure $(CABALFLAGS)