-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy path_tags
42 lines (42 loc) · 1.28 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
# OASIS_START
# DO NOT EDIT (digest: a5d1331c994957e5393f90207a4bbe4a)
# 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
# Library glicko2
"src/glicko2.cmxs": use_glicko2
<src/*.ml{,i,y}>: pkg_logs
<src/*.ml{,i,y}>: pkg_logs.fmt
<src/*.ml{,i,y}>: pkg_threads
# Executable test
<test/test.{native,byte}>: pkg_alcotest
<test/test.{native,byte}>: pkg_logs
<test/test.{native,byte}>: pkg_logs.fmt
<test/test.{native,byte}>: pkg_threads
<test/test.{native,byte}>: use_glicko2
<test/*.ml{,i,y}>: pkg_alcotest
<test/*.ml{,i,y}>: pkg_logs
<test/*.ml{,i,y}>: pkg_logs.fmt
<test/*.ml{,i,y}>: pkg_threads
<test/*.ml{,i,y}>: use_glicko2
# Executable examples
<example/main.{native,byte}>: pkg_logs
<example/main.{native,byte}>: pkg_logs.fmt
<example/main.{native,byte}>: pkg_threads
<example/main.{native,byte}>: use_glicko2
<example/*.ml{,i,y}>: pkg_logs
<example/*.ml{,i,y}>: pkg_logs.fmt
<example/*.ml{,i,y}>: pkg_threads
<example/*.ml{,i,y}>: use_glicko2
# OASIS_STOP