Rename POLYML_POLYC variable to POLYC in Makefiles

MLton · Nov 1, 2023 · bcfeeae · bcfeeae
1 parent 2a0df24
commit bcfeeae
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Makefile.config b/Makefile.config
@@ -225,7 +225,7 @@ MLTON_OUTPUT_SMLNJ_HEAP := $(MLTON_OUTPUT)-smlnj.$(SMLNJ_HEAP_SUFFIX)
 
 ######################################################################
 
-POLYML_POLYC := polyc
+POLYC := polyc
 
 ######################################################################
 

diff --git a/mlton/Makefile b/mlton/Makefile
@@ -233,7 +233,7 @@ ifneq (,$(findstring polyml-mlton,$(MAKECMDGOALS)))
 polyml-mlton: $(MLTON_OUTPUT)-polyml
 
 $(MLTON_OUTPUT)-polyml: mlton-polyml.sml $(shell [ -e mlton-polyml.sml ] && $(CAT) mlton-polyml.sml | $(SED) -n 's/use "\(.*\)";/\1/p') $(MLTON_GEN_SOURCES)
-	$(POLYML_POLYC) -o $@ mlton-polyml.sml
+	$(POLYC) -o $@ mlton-polyml.sml
 
 mlton-polyml.sml: ../lib/stubs/polyml/basis/sources.use ../lib/stubs/polyml/mlton/sources.use $(shell $(MLBDEPS) ../lib/stubs/mlton-stubs/sources.mlb | $(GREP) 'mlb$$' | $(GREP) -v '$$(SML_LIB)') $(shell $(MLBDEPS) mlton.mlb | $(GREP) 'mlb$$' | $(GREP) -v '$$(SML_LIB)')
 	(									\