diff options
author | Jörg Thalheim <joerg@thalheim.io> | 2018-10-28 20:43:34 +0000 |
---|---|---|
committer | Jörg Thalheim <joerg@thalheim.io> | 2018-10-30 13:31:11 +0000 |
commit | b5ad6154743436b5acc791ccec5cde4be36dd18b (patch) | |
tree | 32111c5603c4acbdf9bbe1d5748b8bf3ed6b345d /pkgs/development | |
parent | 1d8794e16ecd92e5e3174fca69964bdbd2c8d110 (diff) | |
download | nixlib-b5ad6154743436b5acc791ccec5cde4be36dd18b.tar nixlib-b5ad6154743436b5acc791ccec5cde4be36dd18b.tar.gz nixlib-b5ad6154743436b5acc791ccec5cde4be36dd18b.tar.bz2 nixlib-b5ad6154743436b5acc791ccec5cde4be36dd18b.tar.lz nixlib-b5ad6154743436b5acc791ccec5cde4be36dd18b.tar.xz nixlib-b5ad6154743436b5acc791ccec5cde4be36dd18b.tar.zst nixlib-b5ad6154743436b5acc791ccec5cde4be36dd18b.zip |
verasco: remove unmaintained project
Verasco is no longer maintained by upstream and blocks updates of some libraries. Removing it also makes it possible to remove coq 8.4.
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/tools/analysis/verasco/default.nix | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/pkgs/development/tools/analysis/verasco/default.nix b/pkgs/development/tools/analysis/verasco/default.nix deleted file mode 100644 index 7f623e72dc31..000000000000 --- a/pkgs/development/tools/analysis/verasco/default.nix +++ /dev/null @@ -1,51 +0,0 @@ -{ stdenv, lib, fetchurl -, coq, ocaml, findlib, menhir, zarith -, tools ? stdenv.cc -}: - -assert lib.versionAtLeast ocaml.version "4.02"; - -stdenv.mkDerivation rec { - name = "verasco-1.3"; - src = fetchurl { - url = "http://compcert.inria.fr/verasco/release/${name}.tgz"; - sha256 = "0zvljrpwnv443k939zlw1f7ijwx18nhnpr8jl3f01jc5v66hr2k8"; - }; - - buildInputs = [ coq ocaml findlib menhir zarith ]; - - preConfigure = '' - substituteInPlace ./configure --replace '{toolprefix}gcc' '{toolprefix}cc' - ''; - - configureFlags = [ - "-toolprefix ${tools}/bin/" - (if stdenv.isDarwin then "ia32-macosx" else "ia32-linux") - ]; - - prefixKey = "-prefix "; - - enableParallelBuilding = true; - buildFlags = "proof extraction ccheck"; - - installPhase = '' - mkdir -p $out/bin - cp ccheck $out/bin/ - ln -s $out/bin/ccheck $out/bin/verasco - if [ -e verasco.ini ] - then - mkdir -p $out/share - cp verasco.ini $out/share/ - fi - mkdir -p $out/lib/compcert - cp -riv runtime/include $out/lib/compcert - ''; - - meta = { - homepage = http://compcert.inria.fr/verasco/; - description = "A static analyzer for the CompCert subset of ISO C 1999"; - maintainers = with stdenv.lib.maintainers; [ vbgl ]; - license = stdenv.lib.licenses.unfree; - platforms = with stdenv.lib.platforms; darwin ++ linux; - }; -} |