phony:

test:
	ciaoc test_all
	./test_all

clean: 
	/bin/rm -f *.o *.so *_glue.? *.asr *.itf *.po

realclean distclean: clean
	/bin/rm -f *~ test_all

