deontic/flake.nix at master · jhhuh/deontic · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
{
  description = "Deotonic — Deontic logic framework in Haskell";

  inputs = {
    nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
  };

  outputs = { self, nixpkgs }:
    let
      system = "x86_64-linux";
      pkgs = nixpkgs.legacyPackages.${system};
      ghc = pkgs.haskell.compiler.ghc967;
      hpkgs = pkgs.haskell.packages.ghc967;

      # Build Haskell packages with haddock
      deontic-core = hpkgs.callCabal2nix "deontic-core" ./deontic-core {};
      deontic-kr-civil = hpkgs.callCabal2nix "deontic-kr-civil" ./deontic-kr-civil {
        inherit deontic-core;
      };
      deontic-de-bgb = hpkgs.callCabal2nix "deontic-de-bgb" ./deontic-de-bgb {
        inherit deontic-core;
      };

      mkdocs-env = pkgs.python3.withPackages (ps: [
        ps.mkdocs
        ps.mkdocs-material
        ps.pymdown-extensions
      ]);

      # Pinned HTML sources from casenote.kr (sha256-verified, Nix-cached)
      caseSources = import ./nix/case-sources.nix { inherit (pkgs) fetchurl; };

      # Derivation that collects all case HTMLs into a single outpath
      case-html = pkgs.runCommand "case-html" {} (''
        mkdir -p $out
      '' + builtins.concatStringsSep "\n" (
          pkgs.lib.mapAttrsToList (name: src:
            "cp ${src} $out/${builtins.replaceStrings ["다"] ["da"] name}.html"
          ) caseSources
        ));

      # Nix derivation: build complete static site (mkdocs + haddock)
      mkdocs-site = pkgs.stdenv.mkDerivation {
        pname = "deontic-docs";
        version = "0.2.0";
        src = pkgs.lib.sourceByRegex ./. [
          "mkdocs.yml"
          "mkdocs-ko.yml"
          "docs"
          "docs/.*"
          "docs/.*/.*"
          "docs/.*/.*/.*"
        ];
        nativeBuildInputs = [ mkdocs-env ];
        buildPhase = ''
          ${mkdocs-env}/bin/mkdocs build -d _site
          ${mkdocs-env}/bin/mkdocs build -f mkdocs-ko.yml -d _site/ko
        '';
        installPhase = ''
          mv _site $out

          # Copy haddock docs
          mkdir -p $out/reference/haddock
          ${pkgs.lib.concatMapStringsSep "\n" (drv:
            let name = drv.pname; in ''
              docdir=$(find "${drv.doc}/share/doc" -maxdepth 1 -type d -name "${name}*" | head -1)
              if [ -n "$docdir" ] && [ -d "$docdir/html" ]; then
                cp -r "$docdir/html" "$out/reference/haddock/${name}"
                echo "Copied haddock for ${name} from $docdir"
              else
                echo "Warning: haddock output not found for ${name}"
                find "${drv.doc}" -name "*.html" | head -5 || true
              fi
            ''
          ) [ deontic-core deontic-kr-civil deontic-de-bgb ]}
        '';
      };
    in
    {
      packages.${system} = {
        inherit deontic-core deontic-kr-civil deontic-de-bgb case-html;
        mkdocs = mkdocs-site;
        default = mkdocs-site;
      };

      devShells.${system}.default = hpkgs.shellFor {
        packages = p: [ deontic-core deontic-kr-civil deontic-de-bgb ];
        nativeBuildInputs = [
          hpkgs.cabal-install
          hpkgs.hspec-discover
          hpkgs.haskell-language-server
          mkdocs-env
          pkgs.overmind
          pkgs.tmux
        ];
      };
    };
}