[ #1001 ] Supported cabal-install 3.0.0.0.

Author: asr

GNUmakefile

@@ -18,7 +18,9 @@ setup: Everything.agda
 
 .PHONY: Everything.agda
 Everything.agda:
-	cabal clean && cabal install
+# The command `cabal build` instead of the command `cabal install` was
+# required by `cabal-install 3.0.0.0`. See Issue #1001.
+	cabal clean && cabal build
 	cabal exec -- GenerateEverything
 
 .PHONY: listings