2022-06-17 14:08:22 +00:00
|
|
|
--- a/src/gwt/build.xml
|
|
|
|
+++ b/src/gwt/build.xml
|
2022-09-20 09:24:19 +00:00
|
|
|
@@ -83,24 +83,7 @@
|
|
|
|
<echo>Concatenated acesupport files to 'acesupport.js'</echo>
|
2022-06-17 14:08:22 +00:00
|
|
|
</target>
|
2022-09-20 09:24:19 +00:00
|
|
|
|
|
|
|
- <!-- panmirror typescript library -->
|
2022-06-17 14:08:22 +00:00
|
|
|
- <!-- ensure version matches RSTUDIO_NODE_VERSION -->
|
2022-09-20 09:24:19 +00:00
|
|
|
- <property name="node.version" value="16.14.0"/>
|
2022-06-17 14:08:22 +00:00
|
|
|
- <property name="node.dir" value="../../dependencies/common/node/${node.version}"/>
|
|
|
|
- <condition property="node.bin" value="../../../${node.dir}/bin/node">
|
|
|
|
- <not>
|
|
|
|
- <os family="windows" />
|
|
|
|
- </not>
|
|
|
|
- </condition>
|
|
|
|
- <condition property="node.bin" value="${node.dir}/node.exe">
|
|
|
|
- <os family="windows" />
|
|
|
|
- </condition>
|
|
|
|
-
|
|
|
|
- <!-- use node from /opt/rstudio-tools if installed (typical for Docker) -->
|
|
|
|
- <available
|
|
|
|
- property="node.bin"
|
|
|
|
- value="/opt/rstudio-tools/dependencies/common/node/${node.version}/bin/node"
|
|
|
|
- file="/opt/rstudio-tools/dependencies/common/node/${node.version}/bin/node"/>
|
2022-09-20 09:24:19 +00:00
|
|
|
+ <property name="node.bin" value="@node@/bin/node"/>
|
|
|
|
|
2022-06-17 14:08:22 +00:00
|
|
|
<property name="panmirror.dir" value="./panmirror/src/editor"/>
|
|
|
|
<property name="panmirror.build.dir" value="./www/js/panmirror"/>
|
|
|
|
|