this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "david.chemouil+electrum@onera.fr"
3authors: ["David Chemouil" "Julien Brunel" "Denis Kuperberg"]
4homepage: "https://forge.onera.fr/projects/electrum"
5bug-reports: "https://forge.onera.fr/projects/electrum"
6license: "GPL-3.0-or-later"
7tags: "org:onera"
8dev-repo: "git+https://github.com/grayswandyr/electrumAnalyzer.git"
9build: [
10 ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
11 ["ocaml" "setup.ml" "-build"]
12 ["ocaml" "setup.ml" "-configure" "--enable-tests"] {with-test}
13 ["ocaml" "setup.ml" "-build"] {with-test}
14 ["ocaml" "setup.ml" "-test"] {with-test}
15]
16install: ["ocaml" "setup.ml" "-install"]
17remove: [ [ "ocaml" "%{etc}%/electrumAnalyzer/_oasis_remove_.ml" "%{etc}%/electrumAnalyzer" ]]
18depends: [
19 "ocaml" {>= "4.02"}
20 "batteries" {build & < "3.0"}
21 "cmdliner" {build}
22 "menhir" {build & >= "20150720"}
23 "ocamlfind" {build}
24 "pprint" {build}
25]
26synopsis: "A tool for the analysis of Electrum formal specifications."
27description: """
28Electrum is a formal specification language based upon relational
29first-order logic (RFOL) and linear temporal logic (LTL), mainly
30inspired by Alloy and TLA+. Electrum Analyzer is a free-software
31prototype for the analysis of Electrum models: as of now, it proceeds
32by translation into SMV models processable by NuSMV and nuXmv."""
33url {
34 src:
35 "https://github.com/grayswandyr/electrumAnalyzer/archive/0.3.5-2.tar.gz"
36 checksum: [
37 "sha256=24d51676d970672bd9bff07cd7c422efb92b440bda657da5126966b10465520e"
38 "md5=bf143427742ead2d748bcb1ab0294a62"
39 ]
40}
41extra-source "electrumAnalyzer.install" {
42 src:
43 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/electrumAnalyzer/electrumAnalyzer.install"
44 checksum: [
45 "sha256=5b010bcd931b45da20d8004cb55ee72cc8193b8b0fe12070896fbdb73a00517b"
46 "md5=0d1b822c897681cf54b3e1aed52dda99"
47 ]
48}
49extra-source "_oasis_remove_.ml" {
50 src:
51 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/electrumAnalyzer/_oasis_remove_.ml"
52 checksum: [
53 "sha256=30bd6759edf0096e5353751a0603eaf693cb60ea7485aa9418e257dfdb97d916"
54 "md5=6100ca146fa97d2196eb49a2631d0796"
55 ]
56}