|
411 | 411 | <listOptionValue builtIn="false" value=".././"/> |
412 | 412 | <listOptionValue builtIn="false" value=".././"/> |
413 | 413 | </option> |
414 | | - <option id="gnu.cpp.compiler.option.other.other.2130553311" name="Other flags" superClass="gnu.cpp.compiler.option.other.other" value="-c -fmessage-length=0 -std=c++0x -Wno-unused-variable -Wno-unused-but-set-variable -static-libstdc++" valueType="string"/> |
| 414 | + <option id="gnu.cpp.compiler.option.other.other.2130553311" name="Other flags" superClass="gnu.cpp.compiler.option.other.other" value="-c -fmessage-length=0 -Wno-unused-variable -Wno-unused-but-set-variable -static-libstdc++" valueType="string"/> |
| 415 | + <option id="gnu.cpp.compiler.option.dialect.std.2000184550" name="Language standard" superClass="gnu.cpp.compiler.option.dialect.std" value="gnu.cpp.compiler.dialect.c++11" valueType="enumerated"/> |
415 | 416 | <inputType id="cdt.managedbuild.tool.gnu.cpp.compiler.input.984393645" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.input"/> |
416 | 417 | </tool> |
417 | 418 | <tool command="x86_64-w64-mingw32-gcc" id="cdt.managedbuild.tool.gnu.c.compiler.exe.debug.1037882495" name="GCC C Compiler" superClass="cdt.managedbuild.tool.gnu.c.compiler.exe.debug"> |
|
436 | 437 | <option id="gnu.cpp.link.option.libs.1704386676" name="Libraries (-l)" superClass="gnu.cpp.link.option.libs" valueType="libs"> |
437 | 438 | <listOptionValue builtIn="false" value="z"/> |
438 | 439 | <listOptionValue builtIn="false" value="m"/> |
439 | | - <listOptionValue builtIn="false" value="gmp"/> |
440 | 440 | <listOptionValue builtIn="false" value="gmpxx"/> |
| 441 | + <listOptionValue builtIn="false" value="gmp"/> |
441 | 442 | </option> |
442 | 443 | <option id="gnu.cpp.link.option.flags.396033601" name="Linker flags" superClass="gnu.cpp.link.option.flags" value="-static -static-libstdc++" valueType="string"/> |
443 | 444 | <option id="gnu.cpp.link.option.paths.1800242183" name="Library search path (-L)" superClass="gnu.cpp.link.option.paths" valueType="libPaths"> |
|
1333 | 1334 | <listOptionValue builtIn="false" value=".././lib"/> |
1334 | 1335 | </option> |
1335 | 1336 | <option defaultValue="true" id="gnu.cpp.link.option.shared.202520435" name="Shared (-shared)" superClass="gnu.cpp.link.option.shared" valueType="boolean"/> |
| 1337 | + <option id="gnu.cpp.link.option.soname.1058619759" name="Shared object name (-Wl,-soname=)" superClass="gnu.cpp.link.option.soname" value="" valueType="string"/> |
1336 | 1338 | <inputType id="cdt.managedbuild.tool.gnu.cpp.linker.input.1315556159" superClass="cdt.managedbuild.tool.gnu.cpp.linker.input"> |
1337 | 1339 | <additionalInput kind="additionalinputdependency" paths="$(USER_OBJS)"/> |
1338 | 1340 | <additionalInput kind="additionalinput" paths="$(LIBS)"/> |
|
1554 | 1556 | </storageModule> |
1555 | 1557 | <storageModule moduleId="org.eclipse.cdt.core.externalSettings"/> |
1556 | 1558 | </cconfiguration> |
| 1559 | + <cconfiguration id="cdt.managedbuild.config.gnu.exe.debug.1003838172.661131711.1852035064.1271167263"> |
| 1560 | + <storageModule buildSystemId="org.eclipse.cdt.managedbuilder.core.configurationDataProvider" id="cdt.managedbuild.config.gnu.exe.debug.1003838172.661131711.1852035064.1271167263" moduleId="org.eclipse.cdt.core.settings" name="Win64SharedLibrary"> |
| 1561 | + <externalSettings> |
| 1562 | + <externalSetting> |
| 1563 | + <entry flags="VALUE_WORKSPACE_PATH" kind="includePath" name="/monosat"/> |
| 1564 | + <entry flags="VALUE_WORKSPACE_PATH" kind="libraryPath" name="/monosat/Win64SharedLibrary"/> |
| 1565 | + <entry flags="RESOLVED" kind="libraryFile" name="monosat" srcPrefixMapping="" srcRootPath=""/> |
| 1566 | + </externalSetting> |
| 1567 | + </externalSettings> |
| 1568 | + <extensions> |
| 1569 | + <extension id="org.eclipse.cdt.core.GmakeErrorParser" point="org.eclipse.cdt.core.ErrorParser"/> |
| 1570 | + <extension id="org.eclipse.cdt.core.CWDLocator" point="org.eclipse.cdt.core.ErrorParser"/> |
| 1571 | + <extension id="org.eclipse.cdt.core.GCCErrorParser" point="org.eclipse.cdt.core.ErrorParser"/> |
| 1572 | + <extension id="org.eclipse.cdt.core.GASErrorParser" point="org.eclipse.cdt.core.ErrorParser"/> |
| 1573 | + <extension id="org.eclipse.cdt.core.GLDErrorParser" point="org.eclipse.cdt.core.ErrorParser"/> |
| 1574 | + <extension id="org.eclipse.cdt.core.ELF" point="org.eclipse.cdt.core.BinaryParser"/> |
| 1575 | + </extensions> |
| 1576 | + </storageModule> |
| 1577 | + <storageModule moduleId="cdtBuildSystem" version="4.0.0"> |
| 1578 | + <configuration artifactExtension="dll" artifactName="monosat" buildArtefactType="org.eclipse.cdt.build.core.buildArtefactType.sharedLib" buildProperties="org.eclipse.cdt.build.core.buildType=org.eclipse.cdt.build.core.buildType.debug,org.eclipse.cdt.build.core.buildArtefactType=org.eclipse.cdt.build.core.buildArtefactType.sharedLib" cleanCommand="rm -rf" description="" id="cdt.managedbuild.config.gnu.exe.debug.1003838172.661131711.1852035064.1271167263" name="Win64SharedLibrary" parent="cdt.managedbuild.config.gnu.exe.debug"> |
| 1579 | + <folderInfo id="cdt.managedbuild.config.gnu.exe.debug.1003838172.661131711.1852035064.1271167263." name="/" resourcePath=""> |
| 1580 | + <toolChain id="cdt.managedbuild.toolchain.gnu.exe.debug.658554613" name="Linux GCC" superClass="cdt.managedbuild.toolchain.gnu.exe.debug"> |
| 1581 | + <targetPlatform id="cdt.managedbuild.target.gnu.platform.exe.debug.1028428935" name="Debug Platform" superClass="cdt.managedbuild.target.gnu.platform.exe.debug"/> |
| 1582 | + <builder buildPath="${workspace_loc:/Minisat2/Debug}" id="cdt.managedbuild.target.gnu.builder.exe.debug.589755654" keepEnvironmentInBuildfile="false" managedBuildOn="true" name="Gnu Make Builder" superClass="cdt.managedbuild.target.gnu.builder.exe.debug"/> |
| 1583 | + <tool id="cdt.managedbuild.tool.gnu.archiver.base.31726948" name="GCC Archiver" superClass="cdt.managedbuild.tool.gnu.archiver.base"/> |
| 1584 | + <tool command="x86_64-w64-mingw32-g++" id="cdt.managedbuild.tool.gnu.cpp.compiler.exe.debug.1198636491" name="GCC C++ Compiler" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.exe.debug"> |
| 1585 | + <option id="gnu.cpp.compiler.exe.debug.option.optimization.level.1457745651" name="Optimization Level" superClass="gnu.cpp.compiler.exe.debug.option.optimization.level" value="gnu.cpp.compiler.optimization.level.most" valueType="enumerated"/> |
| 1586 | + <option id="gnu.cpp.compiler.exe.debug.option.debugging.level.193072646" name="Debug Level" superClass="gnu.cpp.compiler.exe.debug.option.debugging.level" value="gnu.cpp.compiler.debugging.level.max" valueType="enumerated"/> |
| 1587 | + <option id="gnu.cpp.compiler.option.preprocessor.def.1178588066" name="Defined symbols (-D)" superClass="gnu.cpp.compiler.option.preprocessor.def" valueType="definedSymbols"> |
| 1588 | + <listOptionValue builtIn="false" value="__STDC_LIMIT_MACROS"/> |
| 1589 | + <listOptionValue builtIn="false" value="__STDC_FORMAT_MACROS"/> |
| 1590 | + <listOptionValue builtIn="false" value="NDEBUG"/> |
| 1591 | + </option> |
| 1592 | + <option id="gnu.cpp.compiler.option.include.paths.1523185272" name="Include paths (-I)" superClass="gnu.cpp.compiler.option.include.paths" valueType="includePath"> |
| 1593 | + <listOptionValue builtIn="false" value=".././"/> |
| 1594 | + <listOptionValue builtIn="false" value=".././"/> |
| 1595 | + </option> |
| 1596 | + <option id="gnu.cpp.compiler.option.other.other.1820175291" name="Other flags" superClass="gnu.cpp.compiler.option.other.other" value="-c -fmessage-length=0 -Wno-unused-variable -Wno-unused-but-set-variable -static -static-libgcc -static-libstdc++" valueType="string"/> |
| 1597 | + <option id="gnu.cpp.compiler.option.other.pic.1376390191" name="Position Independent Code (-fPIC)" superClass="gnu.cpp.compiler.option.other.pic" value="true" valueType="boolean"/> |
| 1598 | + <option id="gnu.cpp.compiler.option.dialect.std.1360581894" name="Language standard" superClass="gnu.cpp.compiler.option.dialect.std" value="gnu.cpp.compiler.dialect.c++11" valueType="enumerated"/> |
| 1599 | + <inputType id="cdt.managedbuild.tool.gnu.cpp.compiler.input.587907595" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.input"/> |
| 1600 | + </tool> |
| 1601 | + <tool command="x86_64-w64-mingw32-gcc" id="cdt.managedbuild.tool.gnu.c.compiler.exe.debug.1169359105" name="GCC C Compiler" superClass="cdt.managedbuild.tool.gnu.c.compiler.exe.debug"> |
| 1602 | + <option defaultValue="gnu.c.optimization.level.none" id="gnu.c.compiler.exe.debug.option.optimization.level.1292332688" name="Optimization Level" superClass="gnu.c.compiler.exe.debug.option.optimization.level" valueType="enumerated"/> |
| 1603 | + <option id="gnu.c.compiler.exe.debug.option.debugging.level.858297269" name="Debug Level" superClass="gnu.c.compiler.exe.debug.option.debugging.level" value="gnu.c.debugging.level.max" valueType="enumerated"/> |
| 1604 | + <option id="gnu.c.compiler.option.preprocessor.def.symbols.640988469" name="Defined symbols (-D)" superClass="gnu.c.compiler.option.preprocessor.def.symbols" valueType="definedSymbols"> |
| 1605 | + <listOptionValue builtIn="false" value="__STDC_LIMIT_MACROS"/> |
| 1606 | + <listOptionValue builtIn="false" value="__STDC_FORMAT_MACROS"/> |
| 1607 | + </option> |
| 1608 | + <option id="gnu.c.compiler.option.include.paths.1330234066" name="Include paths (-I)" superClass="gnu.c.compiler.option.include.paths" valueType="includePath"> |
| 1609 | + <listOptionValue builtIn="false" value=".././"/> |
| 1610 | + <listOptionValue builtIn="false" value=".././"/> |
| 1611 | + </option> |
| 1612 | + <option id="gnu.c.compiler.option.preprocessor.undef.symbol.1582113738" name="Undefined symbols (-U)" superClass="gnu.c.compiler.option.preprocessor.undef.symbol" valueType="undefDefinedSymbols"> |
| 1613 | + <listOptionValue builtIn="false" value="__amd64"/> |
| 1614 | + </option> |
| 1615 | + <option id="gnu.c.compiler.option.misc.other.33247454" name="Other flags" superClass="gnu.c.compiler.option.misc.other" value="-c -fmessage-length=0 -static -static-libgcc " valueType="string"/> |
| 1616 | + <option id="gnu.c.compiler.option.misc.pic.1397550570" name="Position Independent Code (-fPIC)" superClass="gnu.c.compiler.option.misc.pic" value="true" valueType="boolean"/> |
| 1617 | + <inputType id="cdt.managedbuild.tool.gnu.c.compiler.input.596659335" superClass="cdt.managedbuild.tool.gnu.c.compiler.input"/> |
| 1618 | + </tool> |
| 1619 | + <tool id="cdt.managedbuild.tool.gnu.c.linker.exe.debug.370730942" name="GCC C Linker" superClass="cdt.managedbuild.tool.gnu.c.linker.exe.debug"> |
| 1620 | + <option defaultValue="true" id="gnu.c.link.option.shared.888036423" superClass="gnu.c.link.option.shared" valueType="boolean"/> |
| 1621 | + </tool> |
| 1622 | + <tool command="x86_64-w64-mingw32-g++" id="cdt.managedbuild.tool.gnu.cpp.linker.exe.debug.367742965" name="GCC C++ Linker" superClass="cdt.managedbuild.tool.gnu.cpp.linker.exe.debug"> |
| 1623 | + <option id="gnu.cpp.link.option.libs.799326997" name="Libraries (-l)" superClass="gnu.cpp.link.option.libs" valueType="libs"> |
| 1624 | + <listOptionValue builtIn="false" value="z"/> |
| 1625 | + <listOptionValue builtIn="false" value="m"/> |
| 1626 | + <listOptionValue builtIn="false" value="gmpxx"/> |
| 1627 | + <listOptionValue builtIn="false" value="gmp"/> |
| 1628 | + </option> |
| 1629 | + <option id="gnu.cpp.link.option.flags.1294088590" name="Linker flags" superClass="gnu.cpp.link.option.flags" value="-static -static-libstdc++ -Wl,-no-undefined -Wl,--enable-runtime-pseudo-reloc" valueType="string"/> |
| 1630 | + <option id="gnu.cpp.link.option.paths.766930487" name="Library search path (-L)" superClass="gnu.cpp.link.option.paths" valueType="libPaths"> |
| 1631 | + <listOptionValue builtIn="false" value=".././lib"/> |
| 1632 | + </option> |
| 1633 | + <option id="gnu.cpp.link.option.shared.2002166997" name="Shared (-shared)" superClass="gnu.cpp.link.option.shared" value="true" valueType="boolean"/> |
| 1634 | + <option id="gnu.cpp.link.option.soname.1596467073" name="Shared object name (-Wl,-soname=)" superClass="gnu.cpp.link.option.soname" value="monosat.dll" valueType="string"/> |
| 1635 | + <option id="gnu.cpp.link.option.implname.2019072348" name="Import Library name (-Wl,--out-implib=)" superClass="gnu.cpp.link.option.implname" value="" valueType="string"/> |
| 1636 | + <inputType id="cdt.managedbuild.tool.gnu.cpp.linker.input.106887372" superClass="cdt.managedbuild.tool.gnu.cpp.linker.input"> |
| 1637 | + <additionalInput kind="additionalinputdependency" paths="$(USER_OBJS)"/> |
| 1638 | + <additionalInput kind="additionalinput" paths="$(LIBS)"/> |
| 1639 | + </inputType> |
| 1640 | + <outputType id="cdt.managedbuild.tool.gnu.cpp.linker.output.so.2041109734" outputPrefix="" superClass="cdt.managedbuild.tool.gnu.cpp.linker.output.so"/> |
| 1641 | + </tool> |
| 1642 | + <tool id="cdt.managedbuild.tool.gnu.assembler.exe.debug.1949717887" name="GCC Assembler" superClass="cdt.managedbuild.tool.gnu.assembler.exe.debug"> |
| 1643 | + <option id="gnu.both.asm.option.include.paths.1401371708" name="Include paths (-I)" superClass="gnu.both.asm.option.include.paths" valueType="includePath"> |
| 1644 | + <listOptionValue builtIn="false" value=".././"/> |
| 1645 | + <listOptionValue builtIn="false" value=".././"/> |
| 1646 | + </option> |
| 1647 | + <inputType id="cdt.managedbuild.tool.gnu.assembler.input.702807448" superClass="cdt.managedbuild.tool.gnu.assembler.input"/> |
| 1648 | + </tool> |
| 1649 | + </toolChain> |
| 1650 | + </folderInfo> |
| 1651 | + <sourceEntries> |
| 1652 | + <entry excluding="geometry/bitmap|tests|fsm|pb|strings|bv|graph/resources|cgal|geometry/MonotoneDelaunay.cpp|dgl|smt|smtlib|graph/kbtest.c|polypartition|test/test_thorup.cpp|alg|schedule|asp|graph/TreeReachDetector.cpp|resources|geometry/cgal" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/> |
| 1653 | + <entry flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name="bv"/> |
| 1654 | + <entry flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name="dgl"/> |
| 1655 | + <entry flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name="fsm"/> |
| 1656 | + <entry flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name="pb"/> |
| 1657 | + <entry flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name="smt"/> |
| 1658 | + <entry excluding="test_acyclic_flow_file.cpp|test_acyclic_flow.cpp|test_collisions.cpp|test_dinics_linkcut.cpp|test_spirapan.cpp|test_kohlitorr_dynamic_old.cpp|test_kohlitorr_dynamic.cpp|test_edmondskarp_dynamic.cpp|test_eulertree.cpp|test_maxflow.cpp|test_kohlitorr_dynamic_combined.cpp|test_ramal_reps.cpp|test_thorup.cpp|test_edmondskarp.cpp|test_linkcuttree.cpp|test_ramal_reps_weighted.cpp|test_dinics.cpp" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name="tests"/> |
| 1659 | + </sourceEntries> |
| 1660 | + </configuration> |
| 1661 | + </storageModule> |
| 1662 | + <storageModule moduleId="org.eclipse.cdt.core.externalSettings"/> |
| 1663 | + </cconfiguration> |
1557 | 1664 | </storageModule> |
1558 | 1665 | <storageModule moduleId="cdtBuildSystem" version="4.0.0"> |
1559 | 1666 | <project id="Minisat2.cdt.managedbuild.target.gnu.exe.655301749" name="Executable" projectType="cdt.managedbuild.target.gnu.exe"/> |
|
0 commit comments