dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

acl2: remove python2 usage

Browse Source
This commit is contained in:
Sandro Jäckel 2022-12-02 02:22:40 +01:00
parent 0f49f88a87
commit 7163503e90
No known key found for this signature in database
GPG Key ID: 3AF5A43A3EECC2E5
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/interpreters/acl2/default.nix
View File

@ -1,6 +1,6 @@
{ lib, stdenv, callPackage, fetchFromGitHub, runCommandLocal, makeWrapper, substituteAll { lib, stdenv, callPackage, fetchFromGitHub, runCommandLocal, makeWrapper, substituteAll
, sbcl, bash, which, perl, hostname , sbcl, bash, which, perl, hostname
, openssl, glucose, minisat, abc-verifier, z3, python2 , openssl, glucose, minisat, abc-verifier, z3, python3
, certifyBooks ? true , certifyBooks ? true
} @ args: } @ args:
@ -50,7 +50,7 @@ in stdenv.mkDerivation rec {
which perl hostname which perl hostname
# Some of the books require one or more of these external tools: # Some of the books require one or more of these external tools:
glucose minisat abc-verifier libipasir glucose minisat abc-verifier libipasir
z3 (python2.withPackages (ps: [ ps.z3 ])) z3 (python3.withPackages (ps: [ ps.z3 ]))
]; ];
# NOTE: Parallel building can be memory-intensive depending on the number of # NOTE: Parallel building can be memory-intensive depending on the number of