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 "ocaml" {>= "4.09"}
17 "linenoise"
18 "menhir"
19 "ocamlbuild" {build}
20 "ocamlfind" {build}
21 "ott" {< "0.31"}
22 "pprint" {< "20220103"}
23 "zarith"
24 "z3" {<= "4.7.1"}
25]
26build: [make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{asli:share}%" "asli"]
27install: [make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{asli:share}%" "install"]
28dev-repo: "git+https://github.com/alastairreid/asl-interpreter.git"
29url {
30 src: "https://github.com/alastairreid/asl-interpreter/archive/0.1.tar.gz"
31 checksum: [
32 "md5=61ddc6521cdf481b774bec0dc5e82a35"
33 "sha512=b1baddfef9697933700e692a332d4ebdb791d1e294827071485d96939b22fb1594fc66b315f2692ac641287cefd418ac4897fc658817c8afc7dbc056b433be26"
34 ]
35}