diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2021-12-17 22:56:56 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2021-12-23 20:27:46 +0100 |
| commit | a53b898d2f6f5fe80aa1de633628651ac4930b46 (patch) | |
| tree | 5a6bf7a94d74686c1e1f8765f6551c8162fbc56a /gnu/packages/idris.scm | |
| parent | 9b809c2b87991297197e4e7ebd189d616655d034 (diff) | |
gnu: icedtea-7: Build with ECJ 4, Jamvm, and GNU Classpath.
* gnu/packages/java.scm (icedtea-7)[native-inputs]: Remove icedtea-6, you've
served us well; add classpath-devel, ecj4-javac-wrapper, and jamvm-with-ecj4.
[arguments]: Replace argument to --with-jdk-home configure flag; add
--with-ecj, --with-java, and --with-jar; remove #:locale argument; add build
phase 'use-classpath...
(icedtea-8)[arguments]: ...and remove that new phase here.
[native-inputs]: Remove classpath-devel, ecj4-javac-wrapper, jamvm, and
fastjar.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions