diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-02-18 08:46:38 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-02-24 08:13:06 +0100 |
| commit | a346c68411cc2fe0392e8905f9300fa0973cf1b4 (patch) | |
| tree | 56a5519fb2de11dcda42aa52f695b1d0f6d9b019 /pkgs/applications/science | |
| parent | 6c36c4ca061f0c85eed3c96c0b3ecc7901f57bb3 (diff) | |
| download | nixpkgs-a346c68411cc2fe0392e8905f9300fa0973cf1b4.tar nixpkgs-a346c68411cc2fe0392e8905f9300fa0973cf1b4.tar.gz nixpkgs-a346c68411cc2fe0392e8905f9300fa0973cf1b4.tar.bz2 nixpkgs-a346c68411cc2fe0392e8905f9300fa0973cf1b4.tar.lz nixpkgs-a346c68411cc2fe0392e8905f9300fa0973cf1b4.tar.xz nixpkgs-a346c68411cc2fe0392e8905f9300fa0973cf1b4.tar.zst nixpkgs-a346c68411cc2fe0392e8905f9300fa0973cf1b4.zip | |
acgtk: 1.5.1 → 1.5.2
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/acgtk/default.nix | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/pkgs/applications/science/logic/acgtk/default.nix b/pkgs/applications/science/logic/acgtk/default.nix index 13364beed5c..1cf08741206 100644 --- a/pkgs/applications/science/logic/acgtk/default.nix +++ b/pkgs/applications/science/logic/acgtk/default.nix @@ -1,20 +1,20 @@ -{ lib, stdenv, fetchurl, dune, ocamlPackages }: +{ lib, stdenv, fetchurl, dune_2, ocamlPackages }: stdenv.mkDerivation { pname = "acgtk"; - version = "1.5.1"; + version = "1.5.2"; src = fetchurl { - url = "https://acg.loria.fr/software/acg-1.5.1-20191113.tar.gz"; - sha256 = "17595qfwhzz5q091ak6i6bg5wlppbn8zfn58x3hmmmjvx2yfajn1"; + url = "https://acg.loria.fr/software/acg-1.5.2-20201204.tar.gz"; + sha256 = "09yax7dyw8kgwzlb69r9d20y7rrymzwi3bbq2dh0qdq01vjz2xwq"; }; - buildInputs = [ dune ] ++ (with ocamlPackages; [ + buildInputs = [ dune_2 ] ++ (with ocamlPackages; [ ocaml findlib ansiterminal cairo2 cmdliner fmt logs menhir mtime yojson ]); - buildPhase = "dune build"; + buildPhase = "dune build --profile=release"; installPhase = '' dune install --prefix $out --libdir $OCAMLFIND_DESTDIR |