-
Notifications
You must be signed in to change notification settings - Fork 1
/
_CoqProject.in
25 lines (21 loc) · 864 Bytes
/
_CoqProject.in
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
-I plugins/soswitness/src
-R plugins/soswitness/theories @PACKAGE_NAME@
-R plugins/soswitness/src @PACKAGE_NAME@
-R plugins/soswitness/test-suite @PACKAGE_NAME@
-R test-suite @PACKAGE_NAME@
-R theories @PACKAGE_NAME@
@META_FILE@
plugins/soswitness/src/soswitness.mlg
plugins/soswitness/src/soswitness.mllib
plugins/soswitness/theories/soswitness_plugin.v
plugins/soswitness/theories/soswitness.v
plugins/soswitness/test-suite/soswitnesstac.v
# OPTIONAL: plugins/soswitness/test-suite/soswitnesstac_sdpa.v
theories/misc.v
theories/cholesky_prog.v
theories/iteri_ord.v
theories/posdef_check.v
theories/validsdp.v
-arg -w -arg -notation-overridden
-arg -w -arg -ambiguous-paths
COQDOCFLAGS = "-g -interpolate -utf8 --external http://math-comp.github.io/math-comp/htmldoc/ mathcomp --external http://flocq.gforge.inria.fr/coqdoc/ Flocq -R theories @PACKAGE_NAME@"