-
Notifications
You must be signed in to change notification settings - Fork 13
/
_tags
73 lines (71 loc) · 2.44 KB
/
_tags
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
true: use_menhir, bin_annot, debug
<*.{byte,native}>: g++, use_llvm, use_llvm_analysis, use_llvm_bitwriter, use_llvm_irreader, use_llvm_linker, use_llvm_target, use_llvm_X86, use_llvm_bitreader, use_llvm_executionengine
# OASIS_START
# DO NOT EDIT (digest: d7d02ca93c991491e0340b8a7d068634)
# Ignore VCS directories, you can use the same kind of rule outside
# OASIS_START/STOP if you want to exclude directories that contains
# useless stuff for the build process
true: annot, bin_annot
<**/.svn>: -traverse
<**/.svn>: not_hygienic
".bzr": -traverse
".bzr": not_hygienic
".hg": -traverse
".hg": not_hygienic
".git": -traverse
".git": not_hygienic
"_darcs": -traverse
"_darcs": not_hygienic
# Executable fact
"src/fact.byte": package(ANSITerminal)
"src/fact.byte": package(core)
"src/fact.byte": package(dolog)
"src/fact.byte": package(llvm)
"src/fact.byte": package(llvm.analysis)
"src/fact.byte": package(llvm.bitwriter)
"src/fact.byte": package(llvm.executionengine)
"src/fact.byte": package(llvm.ipo)
"src/fact.byte": package(llvm.irreader)
"src/fact.byte": package(llvm.linker)
"src/fact.byte": package(llvm.passmgr_builder)
"src/fact.byte": package(llvm.scalar_opts)
"src/fact.byte": package(llvm.target)
"src/fact.byte": package(llvm.transform_utils)
"src/fact.byte": package(llvm.vectorize)
"src/fact.byte": package(lwt.unix)
"src/fact.byte": package(ppx_deriving.std)
"src/fact.byte": package(str)
"src/fact.byte": package(threads)
"src/fact.byte": package(z3)
<src/*.ml{,i,y}>: package(ANSITerminal)
<src/*.ml{,i,y}>: package(core)
<src/*.ml{,i,y}>: package(dolog)
<src/*.ml{,i,y}>: package(llvm)
<src/*.ml{,i,y}>: package(llvm.analysis)
<src/*.ml{,i,y}>: package(llvm.bitwriter)
<src/*.ml{,i,y}>: package(llvm.executionengine)
<src/*.ml{,i,y}>: package(llvm.ipo)
<src/*.ml{,i,y}>: package(llvm.irreader)
<src/*.ml{,i,y}>: package(llvm.linker)
<src/*.ml{,i,y}>: package(llvm.passmgr_builder)
<src/*.ml{,i,y}>: package(llvm.scalar_opts)
<src/*.ml{,i,y}>: package(llvm.target)
<src/*.ml{,i,y}>: package(llvm.transform_utils)
<src/*.ml{,i,y}>: package(llvm.vectorize)
<src/*.ml{,i,y}>: package(lwt.unix)
<src/*.ml{,i,y}>: package(ppx_deriving.std)
<src/*.ml{,i,y}>: package(str)
<src/*.ml{,i,y}>: package(threads)
<src/*.ml{,i,y}>: package(z3)
"src/fact.byte": custom
# OASIS_STOP
"perf": -traverse
"perf": not_hygienic
"port": -traverse
"port": not_hygienic
"test": -traverse
"test": not_hygienic
<tmp*>: -traverse
<tmp*>: not_hygienic
"hello_world": -traverse
"hello_world": not_hygienic