treewide: Make configureFlags lists

2018-08-03 17:06:03 -04:00
parent 85a9913edd
commit db965063b3
164 changed files with 380 additions and 263 deletions
@@ -14,7 +14,10 @@ stdenv.mkDerivation rec {
  preConfigure = ''
    sed -e 's/ *CC *= *gcc$//' -i Makefile.vars
  '';
-  configureFlags = "--exec-prefix=$(out) --man-prefix=$(out)/share/man";
+  configureFlags = [
+    "--exec-prefix=$(out)"
+    "--man-prefix=$(out)/share/man"
+  ];

  meta = with stdenv.lib; {
    description = "Automated theorem prover for full first-order logic with equality";