Difference between revisions of "~/.m2/settings.xml"
From CVC4
| Line 1: | Line 1: | ||
| − | |||
<settings> | <settings> | ||
<profiles> | <profiles> | ||
| Line 17: | Line 16: | ||
</profiles> | </profiles> | ||
</settings> | </settings> | ||
| − | |||
Latest 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>
