WinIde64.prj 1.16 KB
Newer Older
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
Version: 1.4
Global
	Built:	True
	Target:	Object IO 64
	Exec:	{Project}\CleanIDE.exe
	CodeGen
		CheckStacks:	False
		CheckIndexes:	True
	Application
		HeapSize:	8388608
		StackSize:	1048576
		ExtraMemory:	81920
		IntialHeapSize:	1048576
		HeapSizeMultiplier:	768
		ShowExecutionTime:	False
		ShowGC:	False
		ShowStackSize:	False
		MarkingCollector:	True
		StandardRuntimeEnv:	True
		Profile
			Memory:	False
			MemoryMinimumHeapSize:	512000
			Time:	False
			Stack:	False
		Output
			Output:	NoConsole
			Font:	Courier
			FontSize:	9
			WriteStdErr:	False
	Link
		LinkMethod:	Static
		GenerateRelocations:	False
		GenerateLinkMap:	True
		LinkResources:	True
		ResourceSource:	{Project}\WinSupport\winIde.rsrc
		GenerateDLL:	False
		ExportedNames:	
	Paths
		Path:	{Project}
		Path:	{Project}\Ed
		Path:	{Project}\Pm
		Path:	{Project}\Ide
		Path:	{Project}\Win
		Path:	{Project}\Util
		Path:	{Project}\Interfaces\LinkerInterface
		Path:	{Project}\Interfaces\ProverOptions
		Path:	{Project}\Win\PatchConsoleEvents
		Path:	{Project}\Registry
		Path:	{Application}\Libraries\Directory
50
		Path:	{Application}\Libraries\ArgEnv
51 52 53 54 55
	Precompile:	
	Postlink:	
MainModule
	Name:	IDE
	Dir:	{Project}\Ide