include python-psi-api in plugin build

2026-10-01 21:01:48 +07:00 · 2012-10-08 15:21:41 +02:00
parent 5ec9b041a4
commit d94d4ff3fb
1 changed files with 1 additions and 0 deletions
@@ -76,6 +76,7 @@ target(name: "compile", description: "Compile module python") {
      include(name: "pluginSrc")
      include(name: "pydevSrc")
      include(name: "openapi/src")
+      include(name: "psi-api/src")
    }
    dirset(dir: "${pluginHome}/../ultimate/ultimate-verifier") {
      include(name: "src")