nixpkgs: remove sapic-0.9

SAPIC is bundled with Tamarin and doesn't have separate releases
anymore; add an appropriate 'throw' clause to the alias so people know
where to find it.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2019-01-19 18:29:39 -06:00
parent fc159594a7
commit 5069fa0a30
4 changed files with 1 additions and 70 deletions

View file

@ -1,28 +0,0 @@
{ stdenv, fetchurl, unzip, ocaml }:
stdenv.mkDerivation rec {
name = "sapic-${version}";
version = "0.9";
src = fetchurl {
url = "http://sapic.gforge.inria.fr/${name}.zip";
sha256 = "1ckl090lpyfh90mkjhnpcys5grs3nrl9wlbn9nfkxxnaivn2yx9y";
};
nativeBuildInputs = [ unzip ];
buildInputs = [ ocaml ];
patches = [ ./native.patch ]; # create a native binary, not a bytecode one
buildPhase = "make depend && make";
installPhase = ''
mkdir -p $out/bin
cp ./sapic $out/bin
'';
meta = {
description = "Stateful applied Pi Calculus for protocol verification";
homepage = http://sapic.gforge.inria.fr/;
platforms = stdenv.lib.platforms.unix;
maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
};
}

View file

@ -1,38 +0,0 @@
diff --git a/Makefile b/Makefile
index a1de94d..f9e2eb8 100644
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,8 @@
TARGET = sapic
-OBJS=lexer.cmo apip.cmo firsttranslation.cmo main.cmo #secondtranslation.cmo thirdtranslation.cmo main.cmo
+OBJS=lexer.cmx apip.cmx firsttranslation.cmx main.cmx
sapic: $(OBJS)
- ocamlc -o $@ $(OBJS)
+ ocamlopt.opt -o $@ $(OBJS)
depend:
ocamldep *.ml *.mli > .depend
@@ -13,17 +13,17 @@ clean:
rm -rf *.cmi *.cmo $(TARGET)
rm -rf apip.ml apip.mli lexer.ml lexer.mli
-.SUFFIXES: .ml .mli .mll .mly .cmo .cmi
+.SUFFIXES: .ml .mli .mll .mly .cmo .cmi .cmx
-.ml.cmo:
- ocamlc -c $<
+.ml.cmx:
+ ocamlopt.opt -c $<
.mli.cmi:
- ocamlc -c $<
+ ocamlopt.opt -c $<
.mll.ml:
ocamllex $<
.mly.ml:
ocamlyacc $<
.ml.mli:
- ocamlc -i $< > $@
+ ocamlopt.opt -i $< > $@
-include .depend

View file

@ -271,6 +271,7 @@ mapAliases ({
saneBackends = sane-backends; # added 2016-01-02
saneBackendsGit = sane-backends-git; # added 2016-01-02
saneFrontends = sane-frontends; # added 2016-01-02
sapic = throw "deprecated 2019-1-19: sapic is bundled with 'tamarin-prover' now";
scim = sc-im; # added 2016-01-22
scollector = bosun; # added 2018-04-25
shared_mime_info = shared-mime-info; # added 2018-02-25

View file

@ -21855,10 +21855,6 @@ in
proverif = callPackage ../applications/science/logic/proverif { };
sapic = callPackage ../applications/science/logic/sapic {
inherit (ocaml-ng.ocamlPackages_4_05) ocaml;
};
satallax = callPackage ../applications/science/logic/satallax {
ocaml = ocaml-ng.ocamlPackages_4_01_0.ocaml;
};