Move elm patches script to file

Erudition · Nov 16, 2023 · 9977f8f · 9977f8f
1 parent 5996686
commit 9977f8f
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/elm-patches/patch-elm-libraries.sh b/elm-patches/patch-elm-libraries.sh
@@ -0,0 +1,7 @@
+# TODO only run if pathces are not already applied
+
+# TODO how to get elm to re-compute only the selected packages without blowing them all away
+rm -rf ~/.elm/0.19.1/packages/ && \
+elm make --output=/dev/null elm-patches/dummyproject/Dummy.elm && \
+make --directory ./elm-patches && \
+rm -rf elm-stuff