-
Notifications
You must be signed in to change notification settings - Fork 0
/
_oasis
91 lines (78 loc) · 2.58 KB
/
_oasis
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
OASISFormat: 0.4
Name: Crab
Version: 0.0.1
Synopsis: A simple compiler as an educational project
Authors: Heasummn
License: MIT
Plugins: META (0.4), DevFiles (0.4)
BuildTools: ocamlbuild
AlphaFeatures: ocamlbuild_more_args
XOCamlbuildExtraArgs: '-use-menhir -menhir "menhir --table"'
Library "Crab"
Path: src
Modules: Crab_compiler
Library "CrabAst"
FindLibParent: Crab
Path: src/CrabAst
Modules: CrabAst
BuildDepends: Crab.CrabCommon, Crab.CrabEnv
Library "CrabCodegen"
FindLibParent: Crab
Path: src/CrabCodegen
Modules: CrabCodegen
BuildDepends: Crab.CrabAst, Crab.CrabEnv,
llvm, llvm.analysis
Library "CrabCommon"
FindLibParent: Crab
Path: src/CrabCommon
Modules: Error, Location, Common
BuildDepends: Crab.CrabEnv
Library "CrabCompile"
FindLibParent: Crab
Path: src/CrabCompile
Modules: CrabCompile
BuildDepends: llvm, llvm.target, llvm.all_backends
Library "CrabEnv"
FindLibParent: Crab
Path: src/CrabEnv
Modules: Symbol, Types
BuildDepends: batteries, Crab.CrabCommon
Library "CrabParseTree"
FindLibParent: Crab
Path: src/CrabParseTree
Modules: CrabParseTree
BuildDepends: Crab.CrabCommon
Library "CrabParsing"
FindLibParent: Crab
Path: src/CrabParsing
Modules: CrabParsing, Lexer, Parser
BuildDepends: menhirLib, Crab.CrabCommon, Crab.CrabPasses
BuildTools+: menhir
Library "CrabPasses"
FindLibParent: Crab
Path: src/CrabPasses
Modules: ConvTypes, AlphaConv
BuildDepends: Crab.CrabEnv, Crab.CrabAst, Crab.CrabParseTree, Crab.CrabCommon
Library "CrabSemantic"
FindLibParent: Crab
Path: src/CrabSemantic
Modules: CrabSemantic, AnalyzeTp
BuildDepends: Crab.CrabAst, Crab.CrabCommon, Crab.CrabEnv
Executable "crab"
Path: src
MainIs: crab_compiler.ml
Install: true
CompiledObject: best
BuildDepends: Crab.CrabCodegen, Crab.CrabCompile, Crab.CrabParsing, Crab.CrabCommon,
Crab.CrabSemantic, Crab.CrabPasses, Crab.CrabParseTree
Executable test_lexing
Path: test/lexing
Build$: flag(tests)
Install: false
CompiledObject: best
MainIs: test_lex.ml
BuildDepends: oUnit, str, batteries, Crab.CrabParsing
Test "lexing"
Command: $test_lexing
TestTools: test_lexing
Run$: flag(tests)