diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-07-27 10:59:44 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-08-02 21:50:58 +0200 |
commit | 91706b1a3f9c4decef07a54a7b0c5bf06cdfcf80 (patch) | |
tree | fcdd7fbe17f1684ef4159b164a57632b076bbece /pkgs/development/coq-modules | |
parent | 2f5f09e4b6789a35a4f01d27a9761ed71b140f65 (diff) |
coqPackages_8_13.smtcoq: build cvc4 with gcc10
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/smtcoq/cvc4.nix | 9 | ||||
-rw-r--r-- | pkgs/development/coq-modules/smtcoq/default.nix | 6 |
2 files changed, 8 insertions, 7 deletions
diff --git a/pkgs/development/coq-modules/smtcoq/cvc4.nix b/pkgs/development/coq-modules/smtcoq/cvc4.nix index 7e31ba67b4f48..cbedf1658e4e7 100644 --- a/pkgs/development/coq-modules/smtcoq/cvc4.nix +++ b/pkgs/development/coq-modules/smtcoq/cvc4.nix @@ -1,6 +1,6 @@ { lib, stdenv, cln, fetchurl, gmp, swig, pkg-config -, readline, libantlr3c, boost, jdk8, autoreconfHook -, python3, antlr3_4 +, libantlr3c, boost, autoreconfHook +, python3 }: stdenv.mkDerivation rec { @@ -13,13 +13,12 @@ stdenv.mkDerivation rec { }; nativeBuildInputs = [ autoreconfHook pkg-config ]; - buildInputs = [ gmp readline swig libantlr3c antlr3_4 boost jdk8 python3 ] + buildInputs = [ gmp swig libantlr3c boost python3 ] ++ lib.optionals stdenv.isLinux [ cln ]; configureFlags = [ - "--enable-language-bindings=c,c++,java" + "--enable-language-bindings=c" "--enable-gpl" - "--with-readline" "--with-boost=${boost.dev}" ] ++ lib.optionals stdenv.isLinux [ "--with-cln" ]; diff --git a/pkgs/development/coq-modules/smtcoq/default.nix b/pkgs/development/coq-modules/smtcoq/default.nix index 093c1ef15d740..a09930a7c7cc1 100644 --- a/pkgs/development/coq-modules/smtcoq/default.nix +++ b/pkgs/development/coq-modules/smtcoq/default.nix @@ -1,4 +1,4 @@ -{ lib, stdenv, pkgs, mkCoqDerivation, coq, trakt, veriT, zchaff, fetchurl, version ? null }: +{ lib, stdenv, gcc10StdenvCompat, pkgs, mkCoqDerivation, coq, trakt, veriT, zchaff, fetchurl, version ? null }: with lib; let @@ -10,7 +10,9 @@ let }; meta.broken = false; }); - cvc4 = pkgs.callPackage ./cvc4.nix {}; + cvc4 = pkgs.callPackage ./cvc4.nix { + stdenv = gcc10StdenvCompat; + }; in mkCoqDerivation { |