diff --git a/.gitmodules b/.gitmodules index ba606bb..e109555 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,12 +1,3 @@ -[submodule "lib/brolib-sml"] - path = lib/brolib-sml - url = https://github.com/hummy123/brolib-sml -[submodule "lib/cozette-sml"] - path = lib/cozette-sml - url = https://github.com/hummy123/cozette-sml -[submodule "tests/Railroad"] - path = tests/Railroad - url = https://github.com/PerplexSystems/Railroad [submodule "test/Railroad"] path = test/Railroad url = https://github.com/PerplexSystems/Railroad diff --git a/fcore.mlb b/fcore.mlb index 13ce9f7..d6d5982 100644 --- a/fcore.mlb +++ b/fcore.mlb @@ -1,9 +1,8 @@ $(SML_LIB)/basis/basis.mlb (* LIBRARIES (purely functional) *) -lib/brolib-sml/src/line_gap.sml -lib/brolib-sml/src/gap_set.sml -lib/cozette-sml/fonts-with-z-index/cozette-ascii.mlb +../brolib-sml/src/line_gap.sml +../cozette-sml/fonts-with-z-index/cozette-ascii.mlb (* FUNCTIONAL CORE *) fcore/bin-search.sml diff --git a/lib/brolib-sml b/lib/brolib-sml deleted file mode 160000 index fd96032..0000000 --- a/lib/brolib-sml +++ /dev/null @@ -1 +0,0 @@ -Subproject commit fd96032949434207dda3b288f48d7fe579f59e4e diff --git a/lib/cozette-sml b/lib/cozette-sml deleted file mode 160000 index 5ee4d06..0000000 --- a/lib/cozette-sml +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 5ee4d063750e4b57ef9abf2d8ca19a3811ad73a1