diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-05-14 08:18:32 +0000 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-05-15 10:30:03 +0200 |
commit | 1ce94fad33cbf646b0c323900679f1b751a28a02 (patch) | |
tree | 4455b8ab48f0b91daa6c346a02aa87aaeb4299e8 /pkgs | |
parent | 84cdfb8f31725ae122721d4d0299ba15874b8b13 (diff) | |
download | nixpkgs-1ce94fad33cbf646b0c323900679f1b751a28a02.tar nixpkgs-1ce94fad33cbf646b0c323900679f1b751a28a02.tar.gz nixpkgs-1ce94fad33cbf646b0c323900679f1b751a28a02.tar.bz2 nixpkgs-1ce94fad33cbf646b0c323900679f1b751a28a02.tar.lz nixpkgs-1ce94fad33cbf646b0c323900679f1b751a28a02.tar.xz nixpkgs-1ce94fad33cbf646b0c323900679f1b751a28a02.tar.zst nixpkgs-1ce94fad33cbf646b0c323900679f1b751a28a02.zip |
coq: make “coq-version” more general
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index 0a4e1dddcae..2488147d214 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -27,7 +27,10 @@ let "8.8.2" = "1lip3xja924dm6qblisk1bk0x8ai24s5xxqxphbdxj6djglj68fd"; "8.9.0" = "1dkgdjc4n1m15m1p724hhi5cyxpqbjw6rxc5na6fl3v4qjjfnizh"; }."${version}"; - coq-version = builtins.substring 0 3 version; + coq-version = + let inherit (builtins) concatStringsSep head map; in + let inherit (stdenv.lib) take splitString; in + concatStringsSep "." (take 2 (map head (map (splitString "pl") (splitString "." version)))); ideFlags = if buildIde then "-lablgtkdir ${ocamlPackages.lablgtk}/lib/ocaml/*/site-lib/lablgtk2 -coqide opt" else ""; csdpPatch = if csdp != null then '' substituteInPlace plugins/micromega/sos.ml --replace "; csdp" "; ${csdp}/bin/csdp" |