1AUTOMAKE_OPTIONS=foreign
2
3all-local: IntInfAsInt
4
5clean-local:
6	-rm -f IntInfAsInt
7
8install-exec-local:
9	$(mkdir_p) $(DESTDIR)$(moduledir)
10	$(INSTALL_DATA) IntInfAsInt $(DESTDIR)$(moduledir)
11
12uninstall-local:
13	-rm -f $(DESTDIR)$(moduledir)/IntInfAsInt
14
15IntInfAsInt: ../../poly$(EXEEXT) ROOT.sml
16	echo "use \"$(srcdir)/ROOT.sml\";" | ../../poly$(EXEEXT) -q -error-exit
17