summarylogtreecommitdiffstats
path: root/strip-type-checking-deps.patch
blob: 1b072c560cc8f5ca1a66eeadc55ad25b6faf6573 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
diff --git i/build/configure/src/python.rs w/build/configure/src/python.rs
index e43bceeb3..2ba12c09e 100644
--- i/build/configure/src/python.rs
+++ w/build/configure/src/python.rs
@@ -81,9 +81,7 @@ pub struct GenPythonProto {
 impl BuildAction for GenPythonProto {
     fn command(&self) -> &str {
         "$protoc $
-        --plugin=protoc-gen-mypy=$protoc-gen-mypy $
         --python_out=$builddir/pylib $
-        --mypy_out=$builddir/pylib $
         -Iproto $in"
     }
 
@@ -101,7 +99,6 @@ impl BuildAction for GenPythonProto {
             .collect();
         build.add_inputs("in", &self.proto_files);
         build.add_inputs("protoc", inputs![":protoc_binary"]);
-        build.add_inputs("protoc-gen-mypy", inputs![":pyenv:protoc-gen-mypy"]);
         build.add_outputs("", python_outputs);
     }