@@ -15,14 +15,14 @@ endif
1515endif
1616
1717install:
18− $(CABAL) install $(CABALFLAGS)
18+ $(CABAL) v1-install $(CABALFLAGS)
1919
2020pinstall: CABALFLAGS += --enable-executable-profiling
2121pinstall: dist/setup-config
22− $(CABAL) install $(CABALFLAGS)
22+ $(CABAL) v1-install $(CABALFLAGS)
2323
2424build: dist/setup-config
25− $(CABAL) build $(CABALFLAGS)
25+ $(CABAL) v1-build $(CABALFLAGS)
2626
2727test: doc test_c stylize
2828
@@ -49,7 +49,7 @@ lib_clean:
4949 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris RTS=../../dist/build/rts/libidris_rts clean
5050
5151relib: lib_clean
52− $(CABAL) install $(CABALFLAGS)
52+ $(CABAL) v1-install $(CABALFLAGS)
5353
5454linecount:
5555 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:
7676 $(MAKE) -C docs latexpdf
7777
7878fast:
79− $(CABAL) install $(CABALFLAGS) --ghc-option=-O0
79+ $(CABAL) v1-install $(CABALFLAGS) --ghc-option=-O0
8080
8181dist/setup-config:
82− $(CABAL) configure $(CABALFLAGS)
82+ $(CABAL) v1-configure $(CABALFLAGS)