Difference between revisions of "~/.m2/settings.xml"
From CVC4
(Created page with " <settings> <profiles> <profile> <id>tools-builds-cvc4</id> <activation> <activeByDefault>true</activeByDefault> </activation> …") |
|||
| Line 1: | Line 1: | ||
| + | {{{ | ||
<settings> | <settings> | ||
<profiles> | <profiles> | ||
| Line 16: | Line 17: | ||
</profiles> | </profiles> | ||
</settings> | </settings> | ||
| + | }}} | ||
Revision as of 20:06, 19 December 2012
{{{
<settings>
<profiles>
<profile>
<id>tools-builds-cvc4</id>
<activation>
<activeByDefault>true</activeByDefault>
</activation>
<properties>
<cvc4.version>4.0.0</cvc4.version>
<cvc4.basedir>/Users/Wei/Workspace/target/cvc4/</cvc4.basedir>
<cvc4.libdir>/Users/Wei/Workspace/target/cvc4/lib/</cvc4.libdir>
<cvc4.jni.libdir>/Users/Wei/Workspace/target/cvc4/lib/jni</cvc4.jni.libdir>
<cvc4.jar>/Users/Wei/Workspace/target/cvc4/share/java/CVC4.jar</cvc4.jar>
</properties>
</profile>
</profiles>
</settings>
}}}
