Stream: General

Topic: isabelle-dev on NixOS

Nico Lintner (Oct 21 2024 at 16:58):

I've tried to get the isabelle-dev repo to work/build on NixOS recently and it just didn't quite work out. So - before I waste more time on that - I was wondering if anyone here got a working nix environment set up and would be willing to share it :)

irvin (Oct 22 2024 at 01:56):

pretty sure Jan van Brügge is the nix maintainer

Lukas Stevens (Oct 22 2024 at 08:32):

Unfortunately, I don't have my nix machine at work but I am using buildFHSEnv in order to use the repository version of Isabelle. It looks something like this

{ pkgs ? import <nixpkgs> {} }:

(pkgs.buildFHSEnv {
  name = "isabelle-dev-env";
  targetPkgs = pkgs: (with pkgs; [
  ]) ++ (with pkgs.xorg; [
  # Add the required Xorg libraries here (I don't know exactly which are required)
  ]);
}).env

Then launch it with nix-shell and execute Admin/init -U.

Lukas Stevens (Oct 22 2024 at 16:57):

Here is the complete file:

{ pkgs ? import <nixpkgs> {} }:

(pkgs.buildFHSUserEnv {
  name = "isabelle-dev-env";
  targetPkgs = pkgs: (with pkgs; [
    freetype
    fontconfig
    xorg.libXext xorg.libX11 xorg.libXrender xorg.libXtst xorg.libXt xorg.libXi
    zlib
  ]);
  runScript = "bash";
}).env

Nico Lintner (Oct 22 2024 at 23:47):

Thank you, that worked! :D

Nico Lintner (Oct 22 2024 at 23:48):

Thank you, that worked! :D

Last updated: Dec 21 2024 at 12:33 UTC