~/.m2/settings.xml

{{{

 <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>

}}}