simset: sspc.c mace.c grhfil.c fstar.c vec.c medset.c simset.c
	gcc -O3 -Os -s -o sspc sspc.c -lm
	gcc -O3 -Os -s -o mace mace.c
	gcc -O3 -Os -s -o grhfil grhfil.c
	gcc -O3 -Os -s -o medset medset.c
	gcc -O3 -Os -s -o simset simset.c -lm
