comparison: make/project.xml
make/project.xml
- changeset 772
- 4586a84c0c0b
- parent 766
- e59b76889f00
- child 788
- b34ff44e6433
equal
deleted
inserted
replaced
| 771:1c7202701bd6 | 772:4586a84c0c0b |
|---|---|
| 66 </dependency> | 66 </dependency> |
| 67 | 67 |
| 68 <dependency name="pandoc"> | 68 <dependency name="pandoc"> |
| 69 <test>test -n "$PANDOC"</test> | 69 <test>test -n "$PANDOC"</test> |
| 70 </dependency> | 70 </dependency> |
| 71 | |
| 72 <dependency name="coverage"> | |
| 73 <cflags>--coverage</cflags> | |
| 74 <ldflags>--coverage</ldflags> | |
| 75 </dependency> | |
| 71 | 76 |
| 72 <target> | 77 <target> |
| 73 <option arg="with-docs"> | 78 <option arg="with-docs"> |
| 74 <value str="all"> | 79 <value str="all"> |
| 75 <dependencies>pandoc,doxygen</dependencies> | 80 <dependencies>pandoc,doxygen</dependencies> |
| 97 <default value="all"/> | 102 <default value="all"/> |
| 98 <default value="html"/> | 103 <default value="html"/> |
| 99 <default value="api"/> | 104 <default value="api"/> |
| 100 <default value="none"/> | 105 <default value="none"/> |
| 101 </option> | 106 </option> |
| 107 <feature name="coverage"> | |
| 108 <dependencies>coverage</dependencies> | |
| 109 </feature> | |
| 102 <dependencies>c,file-tools</dependencies> | 110 <dependencies>c,file-tools</dependencies> |
| 103 </target> | 111 </target> |
| 104 </project> | 112 </project> |
| 105 | 113 |
