|
@@ -223,8 +223,7 @@ src/globals.$(MODULE_EXT): src/version.$(MODULE_EXT)
|
|
|
|
|
|
src/path.$(MODULE_EXT): src/globals.$(MODULE_EXT)
|
|
|
|
|
|
-src/server.$(MODULE_EXT): src/globals.$(MODULE_EXT)
|
|
|
-
|
|
|
+src/server.$(MODULE_EXT): src/globals.$(MODULE_EXT) src/path.$(MODULE_EXT) src/typing/typer.$(MODULE_EXT) src/typing/typeload.$(MODULE_EXT) src/typing/typecore.$(MODULE_EXT) src/typing/type.$(MODULE_EXT) src/syntax/parser.$(MODULE_EXT) src/typing/typecore.$(MODULE_EXT) src/typing/type.$(MODULE_EXT) src/typing/common.$(MODULE_EXT) src/typing/common.$(MODULE_EXT) src/syntax/parser.$(MODULE_EXT) src/syntax/ast.$(MODULE_EXT)
|
|
|
|
|
|
src/version.$(MODULE_EXT):
|
|
|
$(MAKE) -f Makefile.version_extra -s --no-print-directory ADD_REVISION=$(ADD_REVISION) BRANCH=$(BRANCH) COMMIT_SHA=$(COMMIT_SHA) COMMIT_DATE=$(COMMIT_DATE) > src/version.ml
|