repo.or.cz
/
sqlgg.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
start split library
[sqlgg.git]
/
_tags
blob
c3c24242e5677263bd96f21ead6cb5b6311f4e3c
1
# OASIS_START
2
# OASIS_STOP
3
true: annot, warn_A, warn_e, warn_no_44
4
true: use_menhir
5
<src/*.ml> or <lib/*.ml> and not "lib/sql_parser.ml": syntax_camlp4o, pkg_deriving.syntax
6
<lib/sql_parser.ml>: -annot
7
<src/*.top>: pkg_deriving, pkg_extlib, pkg_unix