summaryrefslogtreecommitdiff
path: root/scripts
AgeCommit message (Collapse)Author
2019-02-18Revert changes to trailing whitespaceLeigh McCulloch
2019-02-18Error if java binary doesn't existLeigh McCulloch
2019-02-18Change to just check java versionLeigh McCulloch
2019-02-18Use the java home set earlier as the real java homeLeigh McCulloch
2019-02-18Make existing scripts work with linuxLeigh McCulloch
2019-02-18Add a script for linking for debianLeigh McCulloch
What === Add a script for linking for debian. Why === The location of java home is different on mac and debian, and on debian there is no java_home variable to select version 11 of java. The default jdk installation on debian is currently version 11 and the script uses that. In the event it is not installed mvn will error because the JAVA_HOME is pointing to an invalid path. In the event multiple version of java are installed version 11 will be used regardless of which is set as the default. The patch script has been updated to use the JAVA_HOME path explicitly for each command to ensure it uses the correct version of java when multiple versions are installed. This is consistent with the link scripts.
2019-01-19Use test wrapper to set JAVA_HOMEGeorge Fraser
2019-01-03Prune reference and definition searchesGeorge Fraser
2018-12-29Shared bufferGeorge Fraser
2018-12-29Benchmark string search approachesGeorge Fraser
2018-12-28Build for windowsGeorge Fraser
2018-12-28Use jlink to build self-contained distributionGeorge Fraser
2018-12-15OptimizationGeorge Fraser
2018-12-14+xGeorge Fraser
2018-12-14DedupGeorge Fraser
2018-12-14Run JUnit manuallyGeorge Fraser
2018-12-14Update modules for java 11George Fraser
2018-09-30FormatGeorge Fraser
2018-09-29RobustnesssGeorge Fraser
2018-09-19jlink scriptGeorge Fraser
2018-09-16Revive externalDependencies and classPathGeorge Fraser
2018-09-15Merge branch 'presentation_compiler'George Fraser
2018-09-10v0.1.2George Fraser
2018-09-10Build and test scriptsGeorge Fraser
2018-06-24Fiddle with buildGeorge Fraser
2018-05-21Change to width 120George Fraser
2017-12-05Shebang line in install.shJohannes Wienke
The README states that this file is directly executable. But it is not without this line.
2017-07-22Manual formatting commandGeorge Fraser
2017-04-21Fix scriptGeorge Fraser
2017-04-09Always needs to be installed manually nowGeorge Fraser
2017-04-02ExplanationGeorge Fraser
2017-03-18Update all versions, log outputGeorge Fraser
2016-05-28CleanupGeorge Fraser
2016-05-22Fix installGeorgie
2016-03-28Better installerGeorgie
2016-03-20Output out/fat-jar.jar directlyGeorgie
2016-03-20Use fat-jar instead of installed mavenGeorgie
2016-03-20Better installs criptGeorgie
2016-03-19Installs plugin locallyGeorgie
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-21 03:19:09 +0000