hax-frontend-exporter 0.1.0

Provides mirrors of the algebraic data types used in the Rust compilers, removing indirections and inlining various pieces of information.
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

{
  craneLib,
  stdenv,
  makeWrapper,
  lib,
  rustc,
  gcc,
}: let
  commonArgs = {
    version = "0.0.1";
    src = craneLib.cleanCargoSource ./.;
  };
  pname = "hax-rust-frontend";
  cargoArtifacts = craneLib.buildDepsOnly (commonArgs
    // {
      pname = "${pname}-deps";
    });
in
  craneLib.buildPackage (commonArgs
    // {
      inherit cargoArtifacts pname;
    })
# hax // {
#   passthru = hax.passthru or {} // {
#     wrapped = hax-engine: stdenv.mkDerivation {
#       name = "hax";
#       buildInputs = [ makeWrapper ];
#       phases = ["installPhase"];
#       installPhase = ''
#       mkdir -p $out/bin
#       makeWrapper ${hax}/bin/cargo-hax $out/bin/cargo-hax \
#         --prefix PATH : ${
#           lib.makeBinPath [
#             hax
#             hax-engine
#             rustc gcc
#           ]
#         }
#     '';
#       meta.mainProgram = "cargo-hax";
#     };
#   };
# }