-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathx86ISTMB.opam
42 lines (42 loc) · 856 Bytes
/
x86ISTMB.opam
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
opam-version: "2.0"
synopsis: "CS 3110 final project"
maintainer: ["CS 3110 Compiler Team"]
authors: [
"Utku Melemeti"
"Jason Klein"
"Jeffrey Huang"
"Vijay Shanmugam"
"Ethan Uppal"
]
tags: ["cs3110" "compiler"]
homepage: "https://github.com/ethanuppal/x86ISTMB"
doc: "https://github.com/ethanuppal/cs3110_compiler/wiki"
bug-reports: "https://github.com/ethanuppal/x86ISTMB/issues"
depends: [
"ocaml" {>= "5.1.1"}
"ocaml"
"dune" {>= "3.14"}
"menhir"
"batteries"
"ppx_inline_test"
"alcotest" {with-test}
"qcheck" {with-test}
"qcheck-alcotest" {with-test}
"bisect_ppx" {with-test}
"odoc" {with-doc}
]
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
]
dev-repo: "git+https://github.com/ethanuppal/x86ISTMB.git"