aufbau 0.3.1

Generalized prefix parsing for a class of context-dependent languages
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

(library
 (name aufbau)
 (modules aufbau)
 (foreign_archives aufbau ocaml-boxroot))

(executable
 (name demo)
 (modules demo)
 (libraries aufbau)
 (link_flags
  (-cclib -lpthread -cclib -ldl -cclib -lm)))

(test
 (name test)
 (modules test)
 (libraries aufbau)
 (link_flags
  (-cclib -lpthread -cclib -ldl -cclib -lm)))

; Differential certification: aufbau's ML instance (examples/ml.auf) against
; the OCaml typechecker (compiler-libs). Runs with `dune runtest`.
(test
 (name cert)
 (modules cert oracle)
 (libraries aufbau compiler-libs.common)
 (link_flags
  (-cclib -lpthread -cclib -ldl -cclib -lm)))

; libaufbau.a is the Rust engine, built by `make ocaml` (cargo build
; --features ocaml-ffi); kept out of git and linked in via foreign_archives.