From fc1c5b80213cb3a5400fbca7d43eb7f588987ea8 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Sat, 13 Feb 2021 10:22:22 +0100
Subject: [PATCH] Drop project libraries, switch to using the plugin for
 loading CR modules.

---
 samples/fitch/.mps/libraries.xml      | 17 -----------------
 samples/lambdacalc/.mps/libraries.xml | 17 -----------------
 samples/mpscore/.mps/libraries.xml    | 17 -----------------
 3 files changed, 51 deletions(-)
 delete mode 100644 samples/fitch/.mps/libraries.xml
 delete mode 100644 samples/lambdacalc/.mps/libraries.xml
 delete mode 100644 samples/mpscore/.mps/libraries.xml

diff --git a/samples/fitch/.mps/libraries.xml b/samples/fitch/.mps/libraries.xml
deleted file mode 100644
index 942100be..00000000
--- a/samples/fitch/.mps/libraries.xml
+++ /dev/null
@@ -1,17 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="ProjectLibraryManager">
-    <option name="libraries">
-      <map>
-        <entry key="coderules">
-          <value>
-            <Library>
-              <option name="name" value="coderules" />
-              <option name="path" value="$PROJECT_DIR$/../../build/artifacts/coderules/deploy" />
-            </Library>
-          </value>
-        </entry>
-      </map>
-    </option>
-  </component>
-</project>
\ No newline at end of file
diff --git a/samples/lambdacalc/.mps/libraries.xml b/samples/lambdacalc/.mps/libraries.xml
deleted file mode 100644
index 942100be..00000000
--- a/samples/lambdacalc/.mps/libraries.xml
+++ /dev/null
@@ -1,17 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="ProjectLibraryManager">
-    <option name="libraries">
-      <map>
-        <entry key="coderules">
-          <value>
-            <Library>
-              <option name="name" value="coderules" />
-              <option name="path" value="$PROJECT_DIR$/../../build/artifacts/coderules/deploy" />
-            </Library>
-          </value>
-        </entry>
-      </map>
-    </option>
-  </component>
-</project>
\ No newline at end of file
diff --git a/samples/mpscore/.mps/libraries.xml b/samples/mpscore/.mps/libraries.xml
deleted file mode 100644
index 942100be..00000000
--- a/samples/mpscore/.mps/libraries.xml
+++ /dev/null
@@ -1,17 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="ProjectLibraryManager">
-    <option name="libraries">
-      <map>
-        <entry key="coderules">
-          <value>
-            <Library>
-              <option name="name" value="coderules" />
-              <option name="path" value="$PROJECT_DIR$/../../build/artifacts/coderules/deploy" />
-            </Library>
-          </value>
-        </entry>
-      </map>
-    </option>
-  </component>
-</project>
\ No newline at end of file