this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Interpreter for Arm's Architecture Specification Language (ASL)"
3description: """
4Interpreter for the language ASL that Arm uses to write their ISA specifications.
5
6Currently supports reading/typechecking the specification,
7interactive execution of ASL statements and expressions,
8executing opcodes one at a time,
9loading ELF files and executing Arm binaries."""
10maintainer: "Alastair Reid <alastair.d.reid@gmail.com>"
11authors: "Alastair Reid"
12license: "BSD-3-Clause"
13homepage: "https://github.com/alastairreid/asl-interpreter"
14bug-reports: "https://github.com/alastairreid/asl-interpreter/issues"
15depends: [
16 "dune" {>= "2.5"}
17 "ocaml" {>= "4.09"}
18 "menhir" {build}
19 "ott" {< "0.31" & build}
20 "linenoise"
21 "pprint" {< "20220103"}
22 "zarith"
23 "z3" {>= "4.8.7"}
24 "alcotest" {with-test}
25]
26build: [
27 ["dune" "subst"] {dev}
28 [
29 "dune"
30 "build"
31 "-p"
32 name
33 "-j"
34 jobs
35 "@install"
36 "@runtest" {with-test}
37 "@doc" {with-doc}
38 ]
39]
40dev-repo: "git+https://github.com/alastairreid/asl-interpreter.git"
41url {
42 src: "https://github.com/alastairreid/asl-interpreter/archive/0.2.0.tar.gz"
43 checksum: [
44 "md5=f4581fd209256823fa4d569ac96c8cee"
45 "sha512=fd4a74294beb9eeeafa80c9224b5dc30f5e5ebde4d53fa601929d283b6ca72154de313874321774914f738ac6f0d640e59452f7d03cb1db7b3a019b48b82e0d4"
46 ]
47}