[ #1001 ] Supported cabal-install 3.0.0.0 (again).

The previous fix did not work for cabal-install <= 2.4.*.

Author: asr

GNUmakefile

@@ -18,9 +18,11 @@ setup: Everything.agda
 
 .PHONY: Everything.agda
 Everything.agda:
-# 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
+# The command `cabal build` is needed by cabal-install 3.0.0.0 and the
+# command `cabal install` is needed by cabal-install <= 2.4.*. I did
+# not found any problem running both commands with different versions
+# of cabal-install. See Issue #1001.
+	cabal clean && cabal build && cabal install
 	cabal exec -- GenerateEverything
 
 .PHONY: listings