test:
	../../Binaires/SMVtoJAVA < Feux.smv
	diff BOUTON.java BOUTON_sav.java
	diff FEUX.java FEUX_sav.java
	diff MAIN.java MAIN_sav.java

save:
	cp BOUTON.java BOUTON_sav.java
	cp FEUX.java FEUX_sav.java
	cp MAIN.java MAIN_sav.java

compile:
	javac -classpath ../../Java/needed.jar BOUTON.java FEUX.java MAIN.java
