-
Notifications
You must be signed in to change notification settings - Fork 1
/
_tags
28 lines (26 loc) · 856 Bytes
/
_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
# OASIS_START
# DO NOT EDIT (digest: 09148720c8b00de16c3f3dcc3335246c)
# Library barbra
"src": include
<src/barbra.{cma,cmxa}>: oasis_library_barbra_byte
<src/*.ml{,i}>: oasis_library_barbra_byte
<src/barbra.{cma,cmxa}>: oasis_library_barbra_native
<src/*.ml{,i}>: oasis_library_barbra_native
<src/*.ml{,i}>: pkg_str
<src/*.ml{,i}>: pkg_findlib
# Executable brb
"bin/brb.byte": oasis_executable_brb_byte
<bin/*.ml{,i}>: oasis_executable_brb_byte
"bin/brb.byte": oasis_executable_brb_native
<bin/*.ml{,i}>: oasis_executable_brb_native
"bin/brb.byte": pkg_str
"bin/brb.byte": pkg_findlib
<bin/*.ml{,i}>: pkg_str
<bin/*.ml{,i}>: pkg_findlib
# OASIS_STOP
<src/*.ml{,i}> : warn_A
<bin/*.ml{,i}> : warn_A
"src/ext" : include
<src/ext/res.ml{,i}> | <src/ext/withM.ml{,i}> : camlp4r
<src/ext/{filew,am_Stream}.ml{,i}> : camlp4r
<**/*> : pkg_unix, pkg_num, debug