tezos-fix-virtual-libraries.patch

From 65b1cd6146b4fad7861d4e6c26a3096f5340b789 Mon Sep 17 00:00:00 2001
From: Ulrik Strid <ulrik.strid@outlook.com>
Date: Mon, 24 May 2021 09:25:04 +0200
Subject: [PATCH 1/1] Patch dune files

---
 src/lib_protocol_compiler/dune             | 12 +++++++-----
 src/proto_006_PsCARTHA/lib_parameters/dune |  3 ++-
 src/proto_007_PsDELPH1/lib_parameters/dune |  3 ++-
 src/proto_008_PtEdo2Zk/lib_parameters/dune |  3 ++-
 src/proto_alpha/lib_parameters/dune        |  3 ++-
 5 files changed, 15 insertions(+), 9 deletions(-)

diff --git a/src/lib_protocol_compiler/dune b/src/lib_protocol_compiler/dune
index 7f2ec8a..1ba5294 100644
--- a/src/lib_protocol_compiler/dune
+++ b/src/lib_protocol_compiler/dune
@@ -57,7 +57,7 @@
  (name main_byte)
  (public_name tezos-protocol-compiler-byte)
  (modes native)
- (libraries tezos_protocol_compiler_byte)
+ (libraries bls12-381-unix tezos_protocol_compiler_byte)
  (flags (:standard -linkall))
  (modules Main_byte))
 
@@ -65,14 +65,15 @@
  (name main_native)
  (public_name tezos-protocol-compiler)
  (modes native)
- (libraries tezos_protocol_compiler_native)
+ (libraries bls12-381-unix tezos_protocol_compiler_native)
  (flags (:standard -linkall))
  (modules Main_native))
 
 (executable
  (name main_packer)
  (public_name tezos-protocol-compiler.tezos-protocol-packer)
- (libraries tezos-base
+ (libraries bls12-381-unix
+            tezos-base
             tezos-protocol-compiler
             tezos-stdlib-unix)
  (flags (:standard -open Tezos_base__TzPervasives
@@ -84,7 +85,8 @@
  (name main_embedded_packer)
  (public_name tezos-embedded-protocol-packer)
  (modes native)
- (libraries tezos-base
+ (libraries bls12-381-unix
+            tezos-base
             tezos-base.unix
             tezos-stdlib-unix)
  (flags (:standard -linkall
@@ -95,7 +97,7 @@
 
 (executable
  (name replace)
- (libraries tezos-base tezos-base.unix tezos-stdlib-unix re.str)
+ (libraries bls12-381-unix tezos-base tezos-base.unix tezos-stdlib-unix re.str)
  (flags (:standard -open Tezos_base__TzPervasives
                    -open Tezos_stdlib_unix))
  (modules Replace))
diff --git a/src/proto_006_PsCARTHA/lib_parameters/dune b/src/proto_006_PsCARTHA/lib_parameters/dune
index dcbe421..47fdbf4 100644
--- a/src/proto_006_PsCARTHA/lib_parameters/dune
+++ b/src/proto_006_PsCARTHA/lib_parameters/dune
@@ -12,7 +12,8 @@
 
 (executable
  (name gen)
- (libraries tezos-base
+ (libraries bls12-381-unix
+            tezos-base
             tezos-protocol-006-PsCARTHA-parameters)
  (modules gen)
  (flags (:standard -open Tezos_base__TzPervasives
diff --git a/src/proto_007_PsDELPH1/lib_parameters/dune b/src/proto_007_PsDELPH1/lib_parameters/dune
index f9fefc3..7d2f608 100644
--- a/src/proto_007_PsDELPH1/lib_parameters/dune
+++ b/src/proto_007_PsDELPH1/lib_parameters/dune
@@ -12,7 +12,8 @@
 
 (executable
  (name gen)
- (libraries tezos-base
+ (libraries bls12-381-unix
+            tezos-base
             tezos-protocol-007-PsDELPH1-parameters)
  (modules gen)
  (flags (:standard -open Tezos_base__TzPervasives
diff --git a/src/proto_008_PtEdo2Zk/lib_parameters/dune b/src/proto_008_PtEdo2Zk/lib_parameters/dune
index c660e8f..293ec7e 100644
--- a/src/proto_008_PtEdo2Zk/lib_parameters/dune
+++ b/src/proto_008_PtEdo2Zk/lib_parameters/dune
@@ -12,7 +12,8 @@
 
 (executable
  (name gen)
- (libraries tezos-base
+ (libraries bls12-381-unix
+            tezos-base
             tezos-protocol-008-PtEdo2Zk-parameters)
  (modules gen)
  (flags (:standard -open Tezos_base__TzPervasives
diff --git a/src/proto_alpha/lib_parameters/dune b/src/proto_alpha/lib_parameters/dune
index 590563d..ee8d97d 100644
--- a/src/proto_alpha/lib_parameters/dune
+++ b/src/proto_alpha/lib_parameters/dune
@@ -12,7 +12,8 @@
 
 (executable
  (name gen)
- (libraries tezos-base
+ (libraries bls12-381-unix
+            tezos-base
             tezos-protocol-alpha-parameters)
  (modules gen)
  (flags (:standard -open Tezos_base__TzPervasives
-- 
2.20.1 (Apple Git-117)