diff options
author | Austin Seipp <aseipp@pobox.com> | 2019-01-19 18:29:39 -0600 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2019-01-19 18:54:38 -0600 |
commit | 5069fa0a30273e84f68691e516e6cc297624e79d (patch) | |
tree | 9f016340fa4474c3f0401f3bbbb20a8e9bc5efb2 /pkgs/applications/science | |
parent | fc159594a768143812be50e73a95a610cdb97a47 (diff) | |
download | nixlib-5069fa0a30273e84f68691e516e6cc297624e79d.tar nixlib-5069fa0a30273e84f68691e516e6cc297624e79d.tar.gz nixlib-5069fa0a30273e84f68691e516e6cc297624e79d.tar.bz2 nixlib-5069fa0a30273e84f68691e516e6cc297624e79d.tar.lz nixlib-5069fa0a30273e84f68691e516e6cc297624e79d.tar.xz nixlib-5069fa0a30273e84f68691e516e6cc297624e79d.tar.zst nixlib-5069fa0a30273e84f68691e516e6cc297624e79d.zip |
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>
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/sapic/default.nix | 28 | ||||
-rw-r--r-- | pkgs/applications/science/logic/sapic/native.patch | 38 |
2 files changed, 0 insertions, 66 deletions
diff --git a/pkgs/applications/science/logic/sapic/default.nix b/pkgs/applications/science/logic/sapic/default.nix deleted file mode 100644 index 27efe865a9d9..000000000000 --- a/pkgs/applications/science/logic/sapic/default.nix +++ /dev/null @@ -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 ]; - }; -} diff --git a/pkgs/applications/science/logic/sapic/native.patch b/pkgs/applications/science/logic/sapic/native.patch deleted file mode 100644 index 6e0b98113df2..000000000000 --- a/pkgs/applications/science/logic/sapic/native.patch +++ /dev/null @@ -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 |