+# find the superclasses of a platform class
+#superclass_%:
+# @if [ "$*" = "org.ibex.plat.Darwin" ]; then echo org.ibex.plat.OpenGL; fi
+# @echo $*
+# @grep -s extends src/$(subst .,/,$*).java | sed s_.\*extends\ __ | head -n 1 | sed s_\ .\*__ |\
+# xargs --replace make -s superclass_org.ibex.plat.{}
+
+plat_classes_AWT := org.ibex.plat.AWT
+plat_classes_Java2 := org.ibex.plat.Java2 $(plat_classes_AWT)
+plat_classes_JVM := $(plat_classes_Java2)
+plat_classes_GCJ := org.ibex.plat.GCJ
+plat_classes_Win32 := org.ibex.plat.Win32 $(plat_classes_GCJ)
+plat_classes_POSIX := org.ibex.plat.POSIX $(plat_classes_GCJ)
+plat_classes_X11 := org.ibex.plat.X11 $(plat_classes_POSIX)
+plat_classes_Linux := org.ibex.plat.Linux $(plat_classes_X11)
+plat_classes_Solaris := org.ibex.plat.Solaris $(plat_classes_X11)
+plat_classes_Darwin := org.ibex.plat.Darwin org.ibex.plat.OpenGL $(plat_classes_POSIX)
+
+bleh:; @echo $(plat_classes_$(platform))
+java_src_sources := $(patsubst %,src/%.java,$(subst .,/,$(plat_classes_$(platform))))
+java_src_sources += $(shell find src -name '*.java' | grep -v Preprocessor | grep -v plat | grep -v NanoGoat)
+java_sources := $(patsubst src/%.java, build/java/%.java, $(java_src_sources))