Skip to content

Embed JRE in distributions & fix on macOS + java 9#301

Closed
maelvls wants to merge 30 commits into
masterfrom
embed-jre
Closed

Embed JRE in distributions & fix on macOS + java 9#301
maelvls wants to merge 30 commits into
masterfrom
embed-jre

Conversation

@maelvls

@maelvls maelvls commented Mar 9, 2018 •
edited
Loading

Copy link
Copy Markdown
Member
  • solve the problem of ./TouIST.bat which cannot be launched on windows 10 for security reasons; the only workaround is to launch a .jar
  • also same problem on mac?

@maelvls maelvls mentioned this pull request Jul 4, 2018
Closed
@maelvls maelvls changed the title Embed JRE in distributions Embed JRE in distributions & fix on macOS + java 9 Jul 30, 2018
maelvls added 28 commits July 30, 2018 11:54
@maelvls
gradle: use parcl to embed JRE in linux
1928d38
@maelvls
gradle: fix version.properties that was thought to be a directory
4dd54f2
@maelvls
drop use of 'orange-extensions' (com.apple.aewt.Application); use ins…
48b05db 
…tead Java 9's native
@maelvls
add build.sh for turning a jar into a module
bf0f9ba
@maelvls
build.gradle: use java 9 & modules
1573433
@maelvls
build.sh: always generate in build/ prefix
6fe1119
@maelvls
update build.sh
16f51e4
@maelvls
add module-info.java into repo
0dfd9ce
@maelvls
gradle: add 'runtime file(".")' to fix 'gradlew run'
13bf8dd
@maelvls
TouIST.java: accept -Dtouist.dir=<DIR> instead of the '.' classpath t…
8310376 
…rick
@maelvls
appveyor: use java 9 instead of 7
4277e6d
@maelvls
build.sh: /usr/libexec/java_home doesn't work all the time
35938cd
@maelvls
appveyor: fix java 9 again
1a13ba1
@maelvls
fix
deeaed7
@maelvls
build.sh: /usr/libexec/java_home was a bad idea
abdcdde
@maelvls
build.sh: also zip
2912cd9
@maelvls
build.sh: also add 'external'
fb424fd
@maelvls
gui: more robust path handling (avoid <PATH> + File.separator + <SMTH>)
04a40ac 
Sometimes <PATH> is empty, leading to a path of the form:
/<SMTH>
@maelvls
build.sh: add prepareExternal
06fef28
@maelvls
git: more robust paths
5c77ca6
@maelvls
build.sh: again a fix on JAVA_HOME
a12a7b2
@maelvls
build.sh: again fixes
3f741fb
@maelvls
gradle: added 'customJre' and 'compressCustomJre'
843d831
@maelvls
gradle: fix the jreMinVersion for createExe
3e00078
@maelvls
gradle: fixes
f8ca054
@maelvls
gradle: add 'mac' target
77f0c59
@maelvls
build.sh: removed it as I put it in the gradle build
6fa980e
@maelvls
gradle: fix place where external/ is set
44dcb6e
@stale

stale Bot commented Jan 5, 2019

Copy link
Copy Markdown

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

@stale stale Bot added the wontfix label Jan 5, 2019
@stale

stale Bot commented Apr 6, 2019

Copy link
Copy Markdown

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

@stale stale Bot added the wontfix label Apr 6, 2019
@stale stale Bot closed this Apr 13, 2019
@maelvls maelvls deleted the embed-jre branch July 21, 2025 09:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

wontfix

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@maelvls