diff options
| author | Andreas Källberg <anka.213@gmail.com> | 2021-06-30 14:33:03 +0800 |
|---|---|---|
| committer | Andreas Källberg <anka.213@gmail.com> | 2021-07-25 08:23:25 +0800 |
| commit | 4c5927c98c4f673b23240c7cd18a1c096512669b (patch) | |
| tree | 6fcd243d9107d61908264ce72787fd2ce57b94ef /Makefile | |
| parent | bb51224e8e171e2172c85ca1fe86636fee9cbca3 (diff) | |
Update scripts to use `cabal v1-...` so they work on newer cabal
Fixes build failures like https://github.com/GrammaticalFramework/gf-core/runs/2949099280?check_suite_focus=true
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -6,24 +6,24 @@ VERSION=$(shell sed -ne "s/^version: *\([0-9.]*\).*/\1/p" gf.cabal) all: build dist/setup-config: gf.cabal Setup.hs WebSetup.hs - cabal configure + cabal v1-configure build: dist/setup-config - cabal build + cabal v1-build install: - cabal copy - cabal register + cabal v1-copy + cabal v1-register doc: - cabal haddock + cabal v1-haddock clean: - cabal clean + cabal v1-clean bash bin/clean_html gf: - cabal build rgl-none + cabal v1-build rgl-none strip dist/build/gf/gf html:: |