summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_import/files
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-03-20 00:40:44 +0000
committerV3n3RiX <venerix@koprulu.sector>2022-03-20 00:40:44 +0000
commit4cbcc855382a06088e2f016f62cafdbcb7e40665 (patch)
tree356496503d52354aa6d9f2d36126302fed5f3a73 /dev-ml/ppx_import/files
parentfcc5224904648a8e6eb528d7603154160a20022f (diff)
gentoo resync : 20.03.2022
Diffstat (limited to 'dev-ml/ppx_import/files')
-rw-r--r--dev-ml/ppx_import/files/ppx_import-dune-ounit2.patch9
1 files changed, 9 insertions, 0 deletions
diff --git a/dev-ml/ppx_import/files/ppx_import-dune-ounit2.patch b/dev-ml/ppx_import/files/ppx_import-dune-ounit2.patch
new file mode 100644
index 000000000000..ac164dc0d11d
--- /dev/null
+++ b/dev-ml/ppx_import/files/ppx_import-dune-ounit2.patch
@@ -0,0 +1,9 @@
+index 3ec5810..b2d8d6d 100644
+--- a/src_test/ppx_deriving/dune
++++ b/src_test/ppx_deriving/dune
+@@ -2,4 +2,4 @@
+ (name test_ppx_import)
+ (preprocess
+ (staged_pps ppx_import ppx_deriving.show))
+- (libraries compiler-libs.common oUnit))
++ (libraries compiler-libs.common ounit2))