termux-packages/packages/polyml/modules-IntInfAsInt-Makefil...

12 lines
464 B
Plaintext

--- 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.