From b0487010932ec8fdd61b27252ff1566206486e89 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 21 Jun 2018 11:52:35 +0200 Subject: [PATCH] Fix build dependencies. --- build.xml | 5 +++- .../jetbrains.mps.typechecking.build.mps | 26 ++++++++++++++++++- 2 files changed, 29 insertions(+), 2 deletions(-) diff --git a/build.xml b/build.xml index 64391fd2..31fb93f8 100644 --- a/build.xml +++ b/build.xml @@ -984,6 +984,7 @@ + @@ -2356,6 +2357,7 @@ + @@ -3796,7 +3798,7 @@ - + @@ -3824,6 +3826,7 @@ + diff --git a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps index d99fbc6a..742e2860 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps @@ -929,6 +929,12 @@ + + + + + + @@ -1994,7 +2000,7 @@ - + @@ -2016,6 +2022,24 @@ + + + + + + + + + + + + + + + + + +