all :
	(cd gc; make)
	(cd gmp; ./configure; make)
	(cd Kan; make all)

### When you make sm1 without the garbage collector, type in make sm1.nogc
sm1.nogc :
	(cd Kan; make sm1.nogc)

### generate a distribution.
dist :
	makeDist
###############
clean :
	(cd gmp; make clean)
	(cd gc; make clean)
	(cd Kan; make clean)
	(cd plugin; make clean)


### clean also *.a files.
cleana :
	(cd gmp; make clean; /bin/rm -f *.a)
	(cd gc; make clean; /bin/rm -f *.a)
	(cd Kan; make cleana)
	(cd plugin; make clean; /bin/rm -f *.a)
