shell_exec.cgi	:	*.adb *.ads
	gnatmake shell_exec -bargs -static
	mv shell_exec shell_exec.cgi

clean	:	
	rm shell_exec.cgi *.o *.ali