ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2025-01-04 01:42:53 +03:00
Code Issues Projects Releases Wiki Activity

prooftree: cleaning

Browse Source
This commit is contained in:
Vincent Laporte 2018-10-10 17:32:46 +00:00
parent 726b4da189
commit 6113d95235
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
2 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
pkgs/applications/science/logic/prooftree/default.nix
View File

@ -1,6 +1,6 @@
{stdenv, fetchurl, pkgconfig, ocaml, findlib, camlp5, ncurses, lablgtk ? null}: { stdenv, fetchurl, pkgconfig, ncurses, ocamlPackages }:
stdenv.mkDerivation (rec { stdenv.mkDerivation rec {
name = "prooftree-${version}"; name = "prooftree-${version}";
version = "0.13"; version = "0.13";
@ -10,7 +10,8 @@ stdenv.mkDerivation (rec {
}; };
nativeBuildInputs = [ pkgconfig ]; nativeBuildInputs = [ pkgconfig ];
buildInputs = [ ocaml findlib camlp5 ncurses lablgtk ]; buildInputs = [ ncurses ] ++ (with ocamlPackages; [
ocaml findlib camlp5 lablgtk ]);
dontAddPrefix = true; dontAddPrefix = true;
configureFlags = [ "--prefix" "$(out)" ]; configureFlags = [ "--prefix" "$(out)" ];
@ -39,4 +40,4 @@ stdenv.mkDerivation (rec {
maintainers = [ maintainers.jwiegley ]; maintainers = [ maintainers.jwiegley ];
license = licenses.gpl3; license = licenses.gpl3;
}; };
}) }

2
pkgs/top-level/all-packages.nix
View File

@ -21278,7 +21278,7 @@ with pkgs;
libpoly = callPackage ../applications/science/logic/poly {}; libpoly = callPackage ../applications/science/logic/poly {};
prooftree = ocamlPackages.callPackage ../applications/science/logic/prooftree { }; prooftree = callPackage ../applications/science/logic/prooftree {};
prover9 = callPackage ../applications/science/logic/prover9 { }; prover9 = callPackage ../applications/science/logic/prover9 { };