--- a/modules/IntInfAsInt/Makefile.in +++ b/modules/IntInfAsInt/Makefile.in @@ -473,7 +473,7 @@ -rm -f $(DESTDIR)$(moduledir)/IntInfAsInt IntInfAsInt: ../../poly$(EXEEXT) ROOT.sml - echo "use \"$(srcdir)/ROOT.sml\";" | ../../poly$(EXEEXT) -q -error-exit + echo "use \"$(srcdir)/ROOT.sml\";" | poly$(EXEEXT) -q -error-exit # Tell versions [3.59,3.63) of GNU make to not export all variables. # Otherwise a system limit (for SysV at least) may be exceeded.