diff --git a/deploy.sh b/deploy.sh index 0f6b918bc..a19652424 100755 --- a/deploy.sh +++ b/deploy.sh @@ -52,14 +52,14 @@ function deploy_teavm { -DgenerateBackupPoms=false \ || { echo 'Setting version' ; return 1; } - mvn -e -V deploy \ + mvn -T $TEAVM_DEPLOY_THREADS -e -V deploy \ --settings ../deploy-settings.xml \ -P with-idea -P with-cli -P deploy-to-teavm \ -Dmaven.repo.local=`pwd`/../build-cache/maven-repository \ -Dteavm.build.all=false \ -Dteavm.junit.optimized=false \ -Dteavm.junit.js.decodeStack=false \ - -Dteavm.junit.threads=4 \ + -Dteavm.junit.threads=$TEAVM_DEPLOY_TEST_THREADS \ -Dteavm.junit.js.runner=browser-chrome \ || { echo 'Deploy failed' ; return 1; } diff --git a/tools/idea/idea-artifacts/pom.xml b/tools/idea/idea-artifacts/pom.xml index 592857f7f..0370b088b 100644 --- a/tools/idea/idea-artifacts/pom.xml +++ b/tools/idea/idea-artifacts/pom.xml @@ -37,6 +37,29 @@ true + + + org.teavm + teavm-tooling + ${project.version} + + + org.teavm + teavm-devserver + ${project.version} + + + org.teavm + teavm-classlib + ${project.version} + + + org.teavm + teavm-chrome-rdp + ${project.version} + + + diff --git a/tools/idea/jps-common/pom.xml b/tools/idea/jps-common/pom.xml index f8f9da12c..d16729ce7 100644 --- a/tools/idea/jps-common/pom.xml +++ b/tools/idea/jps-common/pom.xml @@ -35,6 +35,12 @@ + + org.teavm + teavm-idea-artifacts + ${project.version} + pom + org.teavm.idea openapi