add dependencies to .mlb file

2024-10-04 15:08:47 +01:00
parent e05f7a383e
commit ff8d911010
2 changed files with 3 additions and 1 deletions
--- a/BIN
+++ b/BIN
--- a/shf.mlb
+++ b/shf.mlb
@@ -1,6 +1,8 @@
 $(SML_LIB)/basis/basis.mlb

-
+(* FUNCTIONAL CORE *)
+lib/brolib-sml/src/line_gap.sml
+lib/cozette-sml/fonts/cozette-ascii.mlb

 (* IMPERATIVE SHELL *)
 $(SML_LIB)/basis/mlton.mlb