aufbau 0.1.2

Generalized prefix parsing for a class of context-dependent languages
Documentation 
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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116

{
  description = "Proposition 7 development environment (Rust + proof assistants + VSCodium)";

  inputs = {
    nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
    rust-overlay.url = "github:oxalica/rust-overlay";
    flake-utils.url = "github:numtide/flake-utils";
  };

  outputs = { self, nixpkgs, rust-overlay, flake-utils }:
    flake-utils.lib.eachDefaultSystem (system:
      let
        overlays = [ (import rust-overlay) ];
        pkgs = import nixpkgs {
          inherit system overlays;
        };

        rustToolchain = pkgs.rust-bin.stable.latest.default.override {
          extensions = [
            "rust-src"
            "rust-analyzer"
            "clippy"
            "rustfmt"
          ];
        };

        rocqPkgs = pkgs.rocqPackages;


        devTools = with pkgs; [
          # Rust tools
          cargo-watch
          cargo-edit
          cargo-expand
          cargo-flamegraph
          cargo-criterion
          cargo-nextest
          cargo-deny

          valgrind

          # Documentation / utils
          mdbook
          mdbook-mermaid
          graphviz
          fd
          tokei
          just
          git
          git-lfs
          gh

          # Python packaging
          python3
          python3Packages.pip
          maturin

          # Linker & toolchain
          binutils
          nix-ld
          clang
          mold

          # proving
          coq
          rocqPkgs.vsrocq-language-server
          dune_3
          ocaml
          why3


          # Libraries
          openssl
          pkg-config
          zlib
        ];

        lspServers = with pkgs; [
          nil
          taplo
          yaml-language-server
          nodePackages.bash-language-server
        ];

      in {
        devShells.default = pkgs.mkShell {
          buildInputs = [
            rustToolchain
          ] ++ devTools ++ lspServers;

          shellHook = ''
            export RUST_BACKTRACE=1
            export RUST_LOG=info
            export CARGO_BUILD_JOBS=8
            export LEAN_PATH="${pkgs.lean4}/lib/lean"

            # Linker fixes for NixOS
            export LD=$(which clang)
            export RUSTFLAGS="-C linker=clang -C link-arg=-fuse-ld=mold"
            export LD_LIBRARY_PATH="${pkgs.stdenv.cc.cc.lib}:${pkgs.zlib}/lib:$LD_LIBRARY_PATH"

            # OpenSSL / pkg-config for build scripts
            export OPENSSL_DIR="${pkgs.openssl.dev}"
            export OPENSSL_LIB_DIR="${pkgs.openssl.out}/lib"
            export OPENSSL_INCLUDE_DIR="${pkgs.openssl.dev}/include"
            export PKG_CONFIG_PATH="${pkgs.openssl.dev}/lib/pkgconfig:$PKG_CONFIG_PATH"
            export LIBRARY_PATH="${pkgs.openssl.out}/lib:$LIBRARY_PATH"
            export PYO3_PYTHON="${pkgs.python3}/bin/python3"

          '';
        };

        formatter = pkgs.alejandra;
      }
    );
}