add: ml_bind.sml for loading modules on Poly/ML

eldesh · eldesh · commit 1699d55e21f4 · 2020-07-01T23:43:46.000+09:00
diff --git a/Makefile.polyml b/Makefile.polyml
@@ -0,0 +1,32 @@
+
+POLYML ?= poly
+POLYMLC ?= polyc
+
+SRC := $(wildcard src/*.sml)
+
+
+all: smlunit
+
+
+.PHONY: smlunit
+smlunit: polyml_make.sml
+	$(POLYML) -q --error-exit --use ./usesig.sml < polyml_make.sml
+
+
+smlunit-test-poly.o: test/export.sml $(SRC)
+	$(POLYML) -q --error-exit < test/export.sml
+
+
+smlunit-test-poly: smlunit-test-poly.o
+	$(POLYMLC) -o $@ $^
+
+
+test: smlunit-test-poly
+	./smlunit-test-poly
+
+
+PHOENY: clean
+clean:
+	$(RM) smlunit-test-poly
+	$(RM) smlunit-test-poly.o
+
diff --git a/polyml_make.sml b/polyml_make.sml
@@ -0,0 +1 @@
+val _ = PolyML.make "src/main"
diff --git a/src/main/ml_bind.sml b/src/main/ml_bind.sml
@@ -0,0 +1,3 @@
+
+structure SMLUnit = SMLUnit
+
diff --git a/usesig.sml b/usesig.sml
@@ -0,0 +1 @@
+val _ = PolyML.suffixes := ".sig"::(!PolyML.suffixes)

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+val _ = PolyML.suffixes := ".sig"::(!PolyML.suffixes)`