[]
#GC selection is mainly handled in ../.myproject
#Here, we only need to concern ourselves with keeping the build files separate.

output=Gc<gcSuffix>

[storm_debug]
buildDir=build<gcSuffix>/

[storm_release]
buildDir=release<gcSuffix>/

[storm_slow]
buildDir=slow<gcSuffix>/

[mps]
define+=STORM_GC=STORM_GC_MPS

[smm]
define+=STORM_GC=STORM_GC_SMM
