forked from klee/klee
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.cproject
executable file
·55 lines (55 loc) · 4.4 KB
/
.cproject
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<?fileVersion 4.0.0?><cproject storage_type_id="org.eclipse.cdt.core.XmlProjectDescriptionStorage">
<storageModule moduleId="org.eclipse.cdt.core.settings">
<cconfiguration id="cdt.managedbuild.toolchain.llvm.clang.linux.base.1551124630">
<storageModule buildSystemId="org.eclipse.cdt.managedbuilder.core.configurationDataProvider" id="cdt.managedbuild.toolchain.llvm.clang.linux.base.1551124630" moduleId="org.eclipse.cdt.core.settings" name="Default">
<externalSettings/>
<extensions>
<extension id="org.eclipse.cdt.core.GCCErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
<extension id="org.eclipse.cdt.core.GASErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
<extension id="org.eclipse.cdt.core.GLDErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
<extension id="org.eclipse.cdt.core.ELF" point="org.eclipse.cdt.core.BinaryParser"/>
</extensions>
</storageModule>
<storageModule moduleId="cdtBuildSystem" version="4.0.0">
<configuration buildProperties="" id="cdt.managedbuild.toolchain.llvm.clang.linux.base.1551124630" name="Default" parent="org.eclipse.cdt.build.core.emptycfg">
<folderInfo id="cdt.managedbuild.toolchain.llvm.clang.linux.base.1551124630.1742091300" name="/" resourcePath="">
<toolChain id="cdt.managedbuild.toolchain.llvm.clang.linux.base.1557941730" name="LLVM with Clang (Linux)" superClass="cdt.managedbuild.toolchain.llvm.clang.linux.base">
<targetPlatform archList="all" binaryParser="org.eclipse.cdt.core.ELF" id="cdt.managedbuild.target.llvm.platform.base.1640885049" isAbstract="true" name="Debug Platform" osList="linux,hpux,aix,qnx" superClass="cdt.managedbuild.target.llvm.platform.base"/>
<builder buildPath="${workspace_loc:/klee}/Default" id="cdt.managedbuild.target.llvm.builder.base.1736288401" managedBuildOn="false" name="CDT Internal Builder.Default" superClass="cdt.managedbuild.target.llvm.builder.base"/>
<tool id="cdt.managedbuild.tool.llvm.assembler.base.1564144756" name="LLVM assembler" superClass="cdt.managedbuild.tool.llvm.assembler.base"/>
<tool id="cdt.managedbuild.tool.llvm.archiver.base.59068798" name="LLVM archiver" superClass="cdt.managedbuild.tool.llvm.archiver.base"/>
<tool id="cdt.managedbuild.tool.llvm.c.compiler.base.1816158671" name="LLVM Clang" superClass="cdt.managedbuild.tool.llvm.c.compiler.base">
<inputType id="cdt.managedbuild.tool.llvm.c.compiler.input.597942925" superClass="cdt.managedbuild.tool.llvm.c.compiler.input"/>
</tool>
<tool id="cdt.managedbuild.tool.llvm.cpp.compiler.base.187217471" name="LLVM Clang++" superClass="cdt.managedbuild.tool.llvm.cpp.compiler.base">
<inputType id="cdt.managedbuild.tool.llvm.cpp.compiler.input.1440764234" superClass="cdt.managedbuild.tool.llvm.cpp.compiler.input"/>
</tool>
<tool id="cdt.managedbuild.tool.llvm.c.linker.base.678197410" name="LLVM Clang C linker" superClass="cdt.managedbuild.tool.llvm.c.linker.base"/>
<tool id="cdt.managedbuild.tool.llvm.cpp.linker.base.1291684999" name="LLVM Clang C++ linker" superClass="cdt.managedbuild.tool.llvm.cpp.linker.base">
<option id="llvm.c.link.option.libs.515749540" superClass="llvm.c.link.option.libs" valueType="libs">
<listOptionValue builtIn="false" value="stdc++"/>
</option>
<option id="llvm.c.link.option.paths.213036819" superClass="llvm.c.link.option.paths" valueType="libPaths">
<listOptionValue builtIn="false" value="/usr/local/llvm-gcc4.2-2.9-x86_64-linux/lib64/"/>
</option>
<inputType id="cdt.managedbuild.tool.llvm.c.linker.input.396756963" superClass="cdt.managedbuild.tool.llvm.c.linker.input">
<additionalInput kind="additionalinputdependency" paths="$(USER_OBJS)"/>
<additionalInput kind="additionalinput" paths="$(LIBS)"/>
</inputType>
</tool>
</toolChain>
</folderInfo>
</configuration>
</storageModule>
<storageModule moduleId="org.eclipse.cdt.core.externalSettings"/>
</cconfiguration>
</storageModule>
<storageModule moduleId="scannerConfiguration">
<autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
</storageModule>
<storageModule moduleId="cdtBuildSystem" version="4.0.0">
<project id="klee.null.22936256" name="klee"/>
</storageModule>
<storageModule moduleId="org.eclipse.cdt.core.LanguageSettingsProviders"/>
</cproject>