fix python plugin build

2026-09-27 10:03:11 +07:00 · 2009-10-27 14:33:54 +03:00
parent 05490834eb
commit 2fca1dd56f
1 changed files with 3 additions and 0 deletions
@@ -66,6 +66,9 @@
            <include name="src"/>
            <include name="pluginSrc"/>
        </dirset>
+      <dirset dir="${plugin.home}/../ultimate/ultimate-verifier">
+        <include name="src"/>
+      </dirset>
    </path>

    <!-- The task requires the following libraries from IntelliJ IDEA distribution: -->