config_macosx.xml

<?xml version="1.0" encoding="ISO-8859-1" ?>

<TURTLECONFIGURATION>
<DOTTYPath data="/bin/dotty" />
<DOTTYHost data="localhost" />
<FILEPath data="../modeling/" />
<DownloadedFILEPath data="../modeling/" />
<LIBPath data="../lib" />
<IMGPath data="../figures" />
<DocGenPath data="../doc" />
<LOTOSPath data="../lotos/" />
<GGraphPath data="../graphs" />
<TGraphPath data="../graphs" />
<TToolUpdateProxy data="false" />
<TToolUpdateProxyPort data="8080" />
<TToolUpdateProxyHost data="To Be Completed" />
<JavaCodeDirectory data="../javacode" />
<JavaCompilerPath data="/usr/bin/javac" />
<TToolClassPath data="../javacode" />
<JavaExecutePath data="/usr/bin/java" />
<JavaHeader data="import java.sql.*;" />
<SystemCCodeDirectory data="../simulators/c++2/" />
<SystemCHost data="localhost"/>
<SystemCCodeCompileCommand data="make" />
<SystemCCodeExecuteCommand data="../simulators/c++2/run.x -ovcd ../simulators/c++2/vcddump.vcd" />
<SystemCCodeInteractiveExecuteCommand data="../simulators/c++2/run.x -server" />
<TMLCodeDirectory data="../tmlcode/" />
<GTKWavePath data="/usr/bin/gtkwave" />
<VCDPath data="../vcd/" />
<UPPAALCodeDirectory data="../uppaal/" />
<UPPAALVerifierPath data="../../uppaal/verifyta" />
<UPPAALVerifierHost data="localhost" />
<ProVerifCodeDirectory data="../proverif/" />
<ProVerifVerifierPath data="../../proverif/proverif" />
<ProVerifVerifierHost data="localhost" />
<AVATARExecutableCodeDirectory data="../executablecode/" />
<AVATARMPSoCCodeDirectory data="../MPSoC/" />
<AVATARExecutableCodeHost data="localhost"/>
<AVATARExecutableCodeCompileCommand data="make" />
<AVATARExecutableCodeExecuteCommand data="run.x" />
<AVATARExecutableSoclibCodeCompileCommand data="make -C ../executablecode updategeneratedcode compilesoclib" />
<AVATARExecutableSoclibCodeExecuteCommand data="make -C ../executablecode runsoclib" />


<ExternalCommand1Host data="localhost"/>
<ExternalCommand1 data="/usr/bin/gtkwave ../simulators/c++2/vcddump.vcd"/>

<LastOpenFile data=""/>

<ExternalServer data="localhost:12345"/>

<LastWindowAttributes x="240" y="107" width="1414" height="777" max="false" />


</TURTLECONFIGURATION>