titzer / virgil

A fast and lightweight native programming language
1.24k stars 51 forks source link

[fix] Upgrade Java source/target to 8 #282

Closed nerodesu017 closed 1 month ago

nerodesu017 commented 1 month ago

This is needed because when building the JVM runtime an error pops up related to this:

javac -source 1.5 -target 1.5 -d bin/ src/V3S_System.java
warning: [options] bootstrap class path is not set in conjunction with -source 5
  not setting the bootstrap class path may lead to class files that cannot run on JDK 8
    --release 5 is recommended instead of -source 5 -target 1.5 because it sets the bootstrap class path automatically
error: Source option 5 is no longer supported. Use 8 or later.
error: Target option 5 is no longer supported. Use 8 or later.
make: *** [Makefile:2: bin/V3S_System.class] Error 2

Note: setting it to a version of 8 still raises warnings, as both source and target versions are obsolete and will be removed in a future release, but it's the minimum needed version. Please let me know if I should change the version to an even newer one.