smlfmt: new package at git

echawk · Nov 15, 2023 · fc0359b · fc0359b
1 parent 4088c14
commit fc0359b
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 0 deletions.
diff --git a/utils/smlfmt/build b/utils/smlfmt/build
@@ -0,0 +1,5 @@
+#!/bin/sh -e
+
+make
+mkdir -p "$1/usr/bin/"
+cp smlfmt "$1/usr/bin/"
diff --git a/utils/smlfmt/depends b/utils/smlfmt/depends
@@ -0,0 +1,2 @@
+gmp
+mlton make
diff --git a/utils/smlfmt/sources b/utils/smlfmt/sources
@@ -0,0 +1 @@
+git+https://github.com/shwestrick/smlfmt
diff --git a/utils/smlfmt/version b/utils/smlfmt/version
@@ -0,0 +1 @@
+git 1
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		git+https://github.com/shwestrick/smlfmt