isa-tools/isa-tools.opam at master · IntelLabs/isa-tools · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "2.0.0"
synopsis: "Interpreter for Intel(R) ISA Specification Language"
description: """
Intel(R) ISA Specification Language is an executable language for writing
clear, precise specifications of Instruction Set Architectures (ISAs).

The Intel(R) ISA interpreter (iii) is an implementation of the language
that can execute .isa specifications either in an interpreter or by
compiling via C code.

Currently supports reading/typechecking the specification,
interactive execution of .isa statements and expressions,
executing opcodes one at a time,
loading ELF files and executing binaries.

Experimentally includes support for generating C code
that can be used to execute binaries faster and can be
linked with other C/C++ libraries.
"""
maintainer: ["Alastair Reid <alastair.reid@intel.com>"]
authors: ["Alastair Reid"]
license: "BSD-3-Clause"
homepage: "https://github.com/IntelLabs/isa-tools"
bug-reports: "https://github.com/IntelLabs/isa-tools/issues"
depends: [
  "dune" {>= "3.13"}
  "alcotest" {with-test}
  "linenoise"
  "menhir" {build}
  "ocaml" {>= "5.4"}
  "ocolor" {>= "1.2.2"}
  "odoc"
  "yojson"
  "z3" {>= "4.13.0"}
  "zarith"
]
build: [
  ["dune" "subst"] {dev}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
]
dev-repo: "git+https://github.com/IntelLabs/isa-tools.git"