PosixPrimitive.sml: PosixPrimitive.def.sml posix-constants.h posix-enum.h Makefile
	rm -f PosixPrimitive.sml PosixPrimitive.sml.tmp
	gcc -E -x c PosixPrimitive.def.sml > PosixPrimitive.sml.tmp
	echo "(* THIS FILE IS AUTO GENERATED! SEE 'PosixPrimitive.def.sml' *)" > PosixPrimitive.sml
	echo "" >> PosixPrimitive.sml
	sed -n -e '/^structure PosixPrimitive =/,$$p' PosixPrimitive.sml.tmp >> PosixPrimitive.sml
	chmod a-w PosixPrimitive.sml
	rm -f PosixPrimitive.sml.tmp

posix-enum.h: posix-constants.h posix-enum.c Makefile
	rm -f posix-enum.h
	gcc -o posix-enum posix-enum.c
	./posix-enum > posix-enum.h
	rm -f posix-enum

clean:
	rm -rf PM run *~ *.vcg *.log PosixPrimitive.sml posix-enum.h posix-enum
