From 8be0ab12e641f3f3f69049ee61c4918577ea376d Mon Sep 17 00:00:00 2001
From: Dominik Zajkowski <dominik.zajkowsk@iohk.io>
Date: Thu, 9 Sep 2021 09:09:51 +0200
Subject: [PATCH 1/3] WIP

---
 build.sbt | 29 ++++++++++++++---------------
 1 file changed, 14 insertions(+), 15 deletions(-)

diff --git a/build.sbt b/build.sbt
index f9b821856f..3366747f77 100644
--- a/build.sbt
+++ b/build.sbt
@@ -57,21 +57,20 @@ val baseScalacOptions = Seq(
 // https://www.scala-lang.org/2021/01/12/configuring-and-suppressing-warnings.html
 // cat={warning-name}:ws prints a summary with the number of warnings of the given type
 // any:e turns all remaining warnings into errors
-val fatalWarnings = Seq(
-  if (sys.env.get("MANTIS_FULL_WARNS").contains("true")) {
-    "-Wconf:any:w"
-  }
-  else {
-    "-Wconf:" ++ Seq(
-      // Let's turn those gradually into errors:
-      "cat=deprecation:ws",
-      "cat=lint-package-object-classes:ws",
-      "cat=unused:ws",
-      "cat=lint-infer-any:ws",
-      "cat=lint-byname-implicit:ws",
-      "cat=other-match-analysis:ws",
-      "any:e").mkString(",")
-  }) ++ Seq("-Ypatmat-exhaust-depth", "off")
+val fatalWarnings = Seq(if (sys.env.get("MANTIS_FULL_WARNS").contains("true")) {
+  "-Wconf:any:w"
+} else {
+  "-Wconf:" ++ Seq(
+    // Let's turn those gradually into errors:
+    "cat=deprecation:ws",
+    "cat=lint-package-object-classes:ws",
+    "cat=unused:ws",
+    "cat=lint-infer-any:ws",
+    "cat=lint-byname-implicit:ws",
+    "cat=other-match-analysis:ws",
+    "any:e"
+  ).mkString(",")
+}) ++ Seq("-Ypatmat-exhaust-depth", "off")
 
 def commonSettings(projectName: String): Seq[sbt.Def.Setting[_]] = Seq(
   name := projectName,

From 34b29433186a2b7c2362c640262343a6d9c9cd0f Mon Sep 17 00:00:00 2001
From: Dominik Zajkowski <dominik.zajkowsk@iohk.io>
Date: Thu, 9 Sep 2021 10:13:04 +0200
Subject: [PATCH 2/3] Bump 'mantis-extvm-pb' module in nix

---
 nix/overlay.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nix/overlay.nix b/nix/overlay.nix
index ad4173cf4e..edac2d6dd4 100644
--- a/nix/overlay.nix
+++ b/nix/overlay.nix
@@ -14,7 +14,7 @@ rev: final: prev: {
   # ourselves instead.
   mantis-extvm-pb = builtins.fetchGit {
     url = "https://github.com/input-output-hk/mantis-extvm-pb";
-    rev = "53eb31f3c59f7200994915b834e626bd292df7ed";
+    rev = "aa7d74daa3f08ed059fdd8a2a6950b2ec575c24e";
   };
 
   writeBashChecked = final.writers.makeScriptWriter {

From f0d6f1ac1390b8b8287ecd22c38784b9d142c75d Mon Sep 17 00:00:00 2001
From: Dominik Zajkowski <dominik.zajkowsk@iohk.io>
Date: Thu, 9 Sep 2021 10:42:54 +0200
Subject: [PATCH 3/3] Bump extvm submodule

---
 nix/overlay.nix         | 2 +-
 src/main/protobuf/extvm | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/nix/overlay.nix b/nix/overlay.nix
index edac2d6dd4..c8949f6c37 100644
--- a/nix/overlay.nix
+++ b/nix/overlay.nix
@@ -14,7 +14,7 @@ rev: final: prev: {
   # ourselves instead.
   mantis-extvm-pb = builtins.fetchGit {
     url = "https://github.com/input-output-hk/mantis-extvm-pb";
-    rev = "aa7d74daa3f08ed059fdd8a2a6950b2ec575c24e";
+    rev = "8f52caba70afc95ce669e9d61f773468db54557e";
   };
 
   writeBashChecked = final.writers.makeScriptWriter {
diff --git a/src/main/protobuf/extvm b/src/main/protobuf/extvm
index aa7d74daa3..8f52caba70 160000
--- a/src/main/protobuf/extvm
+++ b/src/main/protobuf/extvm
@@ -1 +1 @@
-Subproject commit aa7d74daa3f08ed059fdd8a2a6950b2ec575c24e
+Subproject commit 8f52caba70afc95ce669e9d61f773468db54557e