From e98ae1a19d7e2c844ca98fcb56c77fb6acb2e1c1 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Tue, 28 Dec 2021 11:06:14 +0100
Subject: [PATCH] Update build scripts to load 3rd-party-rt.jar

---
 build.xml                    | 1 +
 samples/fitch/build.xml      | 1 +
 samples/lambdacalc/build.xml | 1 +
 samples/mpscore/build.xml    | 1 +
 4 files changed, 4 insertions(+)

diff --git a/build.xml b/build.xml
index ae8dbc1a..4a846225 100644
--- a/build.xml
+++ b/build.xml
@@ -31,6 +31,7 @@
   <property name="mps.ant.log" value="warn" />
   
   <path id="path.mps.ant.path">
+    <pathelement location="${artifacts.mps}/lib/3rd-party-rt.jar" />
     <pathelement location="${artifacts.mps}/lib/ant/lib/ant-mps.jar" />
     <pathelement location="${artifacts.mps}/lib/util.jar" />
   </path>
diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml
index dca2a981..b909ca7b 100644
--- a/samples/fitch/build.xml
+++ b/samples/fitch/build.xml
@@ -34,6 +34,7 @@
   <property name="mps.ant.log" value="warn" />
   
   <path id="path.mps.ant.path">
+    <pathelement location="${artifacts.mps}/lib/3rd-party-rt.jar" />
     <pathelement location="${artifacts.mps}/lib/ant/lib/ant-mps.jar" />
     <pathelement location="${artifacts.mps}/lib/util.jar" />
   </path>
diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml
index e1bd5823..d43c22f9 100644
--- a/samples/lambdacalc/build.xml
+++ b/samples/lambdacalc/build.xml
@@ -34,6 +34,7 @@
   <property name="mps.ant.log" value="warn" />
   
   <path id="path.mps.ant.path">
+    <pathelement location="${artifacts.mps}/lib/3rd-party-rt.jar" />
     <pathelement location="${artifacts.mps}/lib/ant/lib/ant-mps.jar" />
     <pathelement location="${artifacts.mps}/lib/util.jar" />
   </path>
diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml
index d5395df6..3c8e4db0 100644
--- a/samples/mpscore/build.xml
+++ b/samples/mpscore/build.xml
@@ -38,6 +38,7 @@
   <property name="mps.ant.log" value="warn" />
   
   <path id="path.mps.ant.path">
+    <pathelement location="${artifacts.mps}/lib/3rd-party-rt.jar" />
     <pathelement location="${artifacts.mps}/lib/ant/lib/ant-mps.jar" />
     <pathelement location="${artifacts.mps}/lib/util.jar" />
   </path>