Email Gateway (Apr 14 2026 at 07:11): Email Gateway (Apr 14 2026 at 07:11):From: Fabian Huch <huch@in.tum.de>
The recently updated jfreechart component (added in cc6e160130ab) breaks
scala_project: Including the java sources via build.props is bad, since
transitive dependencies (javax.servlet:servlet-api) are missing. This
makes the generated scala_project no longer build properly (and thus
IntelliJ IDEA cannot understand our Isabelle/Scala sources).
Fabian
Email Gateway (Apr 21 2026 at 20:43):From: Makarius <makarius@sketis.net>
On 14/04/2026 09:11, Fabian Huch wrote:
The recently updated jfreechart component (added in cc6e160130ab) breaks
scala_project: Including the java sources via build.props is bad, since
transitive dependencies (javax.servlet:servlet-api) are missing. This makes
the generated scala_project no longer build properly (and thus IntelliJ IDEA
cannot understand our Isabelle/Scala sources).
I have reverted that here:
changeset: 84426:26f651ac1f28
user: wenzelm
date: Sat Apr 18 12:06:27 2026 +0200
files: src/Pure/Admin/component_jfreechart.scala
description:
backed out changeset c5c135ff3726: resulting scala_project lacks build
dependencies and thus may cause problems in IntelliJ IDEA;
The purpose was actually to get formal sources in IntelliJ IDEA: this worked
to the usual extent, without building the project in the IDE. (The latter
sometimes works and sometimes doesn't, depending on the weather conditions of
the latest IntelliJ release. Or maybe I don't understand it sufficiently well.)
Makarius
Email Gateway (Apr 22 2026 at 07:14):From: Fabian Huch <huch@in.tum.de>
On 4/21/26 22:42, Makarius wrote:
On 14/04/2026 09:11, Fabian Huch wrote:
The recently updated jfreechart component (added in cc6e160130ab)
breaks scala_project: Including the java sources via build.props is
bad, since transitive dependencies (javax.servlet:servlet-api) are
missing. This makes the generated scala_project no longer build
properly (and thus IntelliJ IDEA cannot understand our Isabelle/Scala
sources).I have reverted that here:
changeset: 84426:26f651ac1f28
user: wenzelm
date: Sat Apr 18 12:06:27 2026 +0200
files: src/Pure/Admin/component_jfreechart.scala
description:
backed out changeset c5c135ff3726: resulting scala_project lacks build
dependencies and thus may cause problems in IntelliJ IDEA;
Thanks.The purpose was actually to get formal sources in IntelliJ IDEA: this
worked to the usual extent, without building the project in the IDE.
(The latter sometimes works and sometimes doesn't, depending on the
weather conditions of the latest IntelliJ release. Or maybe I don't
understand it sufficiently well.)
In my experience, the important part is that the build via selected
build tool works (e.g., 'mvn install'), not the IntelliJ 'build' action.
I find maven to be very reliable for that (once the appropriate java
version configured).
Fabian
Last updated: Apr 29 2026 at 06:25 UTC