Myria (May 16 2025 at 14:43): Myria (May 16 2025 at 14:43):Hey there, I was just wondering if there was a general way to build the isabelle_setup jar from the source under src/Tools/Setup/src? I can see the build.props under the src/Tools/Setup/etc directory, but I'm not familar with how to use these, is there some tool that can parse this to use? Or is that just manually converted into a shell command with jar?
Fabian Huch (May 16 2025 at 14:56):For every component X (except for 1-2 from the very early days) there is a Component_Xmodule that defines a command of shape isabelle component_x, which builds the component. Components and their build.props description are explained in the system manual.
Fabian Huch (May 16 2025 at 14:56):So in this case, you can just run isabelle component_setup.
Fabian Huch (May 16 2025 at 14:57):Note that such administrative tools are only present in the development version and not releases.
Myria (May 16 2025 at 15:18):Ah, thank you! I'll have a look around for it
Jan van Brügge (May 16 2025 at 23:27):if you want to bootstrap, you can do what i did for nixpkgs and build it only with javac: https://github.com/jvanbruegge/nixpkgs/blob/fa09ff7a7d38a618a9d8e2e614dae6b175993a37/pkgs/by-name/is/isabelle/package.nix#L180
Myria (May 17 2025 at 05:14):Ah, I didn't notice that when looking through your nixpkgs version. Gonna look at that more, thanks.
Last updated: May 18 2025 at 04:27 UTC