From c589af0ffddeb3c81f3874b18d3f3a0070b39706 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Mon, 7 Dec 2020 23:35:34 +0100 Subject: [PATCH] Redo build.xml by hand --- .gitignore | 1 + build.properties | 3 - build.xml | 337 ++++------------------------------------------- 3 files changed, 29 insertions(+), 312 deletions(-) delete mode 100644 build.properties diff --git a/.gitignore b/.gitignore index 89f9ac0..14d4343 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,2 @@ out/ +doc/ diff --git a/build.properties b/build.properties deleted file mode 100644 index 5bee2c8..0000000 --- a/build.properties +++ /dev/null @@ -1,3 +0,0 @@ -path.variable.kotlin_bundled=/opt/idea-IC-203.5981.155/plugins/Kotlin/kotlinc -path.variable.maven_repository=/home/tonyg/.m2/repository -jdk.home.11=/usr/lib/jvm/java-11-openjdk-amd64 \ No newline at end of file diff --git a/build.xml b/build.xml index 96e547d..5054d74 100644 --- a/build.xml +++ b/build.xml @@ -1,317 +1,36 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - + + + + - - - + + + + + - - - - - - - \ No newline at end of file + + + + + +