Use explicit platform for compiling

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@7764 8c9fc860-2736-0410-a75d-ab315db34111

tools/builds/a2/makefile

@@ -20,7 +20,7 @@ Trace.GofU Streams.GofU: Runtime.GofU
 FoxArrayBase.GofU: ComplexNumbers.GofU
 
 %.GofU:
-	@$(tool) compile $(if $<, $<, $(error no target for $@))
+	@$(tool) compile -p=Linux32G $(if $<, $<, $(error no target for $@))
 
 # targets