|
2 | 2 | inputs = {
|
3 | 3 | devshell = {
|
4 | 4 | url = "github:numtide/devshell";
|
5 |
| - inputs = { |
6 |
| - flake-utils.follows = "flake-utils"; |
7 |
| - nixpkgs.follows = "nixpkgs"; |
8 |
| - }; |
| 5 | + inputs.nixpkgs.follows = "nixpkgs"; |
9 | 6 | };
|
10 | 7 |
|
11 |
| - nixpkgs = { |
12 |
| - url = "github:NixOS/nixpkgs"; |
13 |
| - }; |
14 |
| - |
15 |
| - flake-utils = { |
16 |
| - url = "github:numtide/flake-utils"; |
17 |
| - inputs.systems.follows = "systems"; |
18 |
| - }; |
| 8 | + flake-utils.url = "github:numtide/flake-utils"; |
19 | 9 |
|
20 |
| - systems.url = "github:nix-systems/default"; |
| 10 | + nixpkgs.url = "github:NixOS/nixpkgs"; |
21 | 11 |
|
22 |
| - typelevel-nix = { |
23 |
| - url = "github:typelevel/typelevel-nix"; |
| 12 | + sbt-derivation = { |
| 13 | + url = "github:zaninime/sbt-derivation"; |
24 | 14 | inputs = {
|
25 |
| - devshell.follows = "devshell"; |
26 | 15 | flake-utils.follows = "flake-utils";
|
27 | 16 | nixpkgs.follows = "nixpkgs";
|
28 | 17 | };
|
|
33 | 22 | devshell,
|
34 | 23 | flake-utils,
|
35 | 24 | nixpkgs,
|
36 |
| - typelevel-nix, |
37 |
| - ... |
| 25 | + sbt-derivation, |
| 26 | + self, |
38 | 27 | }:
|
39 |
| - flake-utils.lib.eachSystem ["x86_64-linux"] (system: let |
| 28 | + flake-utils.lib.eachDefaultSystem (system: let |
40 | 29 | pkgs = import nixpkgs {
|
41 | 30 | inherit system;
|
42 |
| - overlays = [devshell.overlays.default]; |
| 31 | + |
| 32 | + overlays = [ |
| 33 | + devshell.overlays.default |
| 34 | + sbt-derivation.overlays.default |
| 35 | + |
| 36 | + # Reusing the same JDK for all tools |
| 37 | + (final: prev: let |
| 38 | + jre = prev.graalvm-ce; |
| 39 | + in { |
| 40 | + bloop = prev.bloop.override {inherit jre;}; |
| 41 | + coursier = prev.coursier.override {inherit jre;}; |
| 42 | + metals = prev.metals.override {inherit jre;}; |
| 43 | + sbt = prev.sbt.override {inherit jre;}; |
| 44 | + scala-cli = prev.scala-cli.override {inherit jre;}; |
| 45 | + scalafix = prev.scalafix.override {inherit jre;}; |
| 46 | + scalafmt = prev.scalafmt.override {inherit jre;}; |
| 47 | + }) |
| 48 | + ]; |
43 | 49 | };
|
44 |
| - in { |
45 |
| - formatter = pkgs.alejandra; |
46 | 50 |
|
47 |
| - devShell = pkgs.devshell.mkShell rec { |
48 |
| - name = "unikernel-scala"; |
49 |
| - imports = [typelevel-nix.typelevelShell]; |
| 51 | + # Utility imports |
| 52 | + inherit |
| 53 | + (pkgs.lib) |
| 54 | + attrsToList |
| 55 | + concatStringsSep |
| 56 | + getDev |
| 57 | + getLib |
| 58 | + map |
| 59 | + readFile |
| 60 | + ; |
50 | 61 |
|
51 |
| - packages = let |
52 |
| - static = pkgs.pkgsStatic; |
53 |
| - in [ |
54 |
| - (pkgs.scalafix.override {jre = typelevelShell.jdk.package;}) |
| 62 | + pname = "unikernel-scala"; |
55 | 63 |
|
56 |
| - # I didn't succeed dynamically linking Scala Native with these packages, |
57 |
| - # hence using static variants. |
58 |
| - static.liburing.dev |
59 |
| - static.liburing.out |
60 |
| - static.openssl.dev |
61 |
| - static.openssl.out |
| 64 | + # Reading from file to synchronize with sbt to avoid double-hardcoding |
| 65 | + # TODO: Use https://github.com/sbt/sbt-git |
| 66 | + version = readFile ./version; |
62 | 67 |
|
63 |
| - # For packaging as unikernel |
64 |
| - pkgs.ops |
| 68 | + llvm = pkgs.llvmPackages_19; |
65 | 69 |
|
66 |
| - # For running a unikernel image |
67 |
| - pkgs.qemu |
68 |
| - ]; |
| 70 | + scalaTools = [ |
| 71 | + pkgs.bloop |
| 72 | + pkgs.coursier |
| 73 | + pkgs.metals |
| 74 | + pkgs.sbt |
| 75 | + pkgs.scala-cli |
| 76 | + pkgs.scalafix |
| 77 | + pkgs.scalafmt |
| 78 | + ]; |
| 79 | + |
| 80 | + unikernelDevTools = [ |
| 81 | + # For packaging as unikernel |
| 82 | + pkgs.ops |
| 83 | + # For running a unikernel image |
| 84 | + pkgs.qemu |
| 85 | + ]; |
69 | 86 |
|
70 |
| - typelevelShell = { |
71 |
| - jdk.package = pkgs.graalvm-ce; |
| 87 | + # Native libraries for linking with the Scala Native app |
| 88 | + nativeLibraries = [ |
| 89 | + pkgs.liburing |
| 90 | + pkgs.openssl |
| 91 | + pkgs.zlib |
| 92 | + ]; |
72 | 93 |
|
73 |
| - native = { |
74 |
| - enable = true; |
75 |
| - libraries = [ |
76 |
| - pkgs.zlib |
77 |
| - ]; |
78 |
| - }; |
| 94 | + # Environment variables expected and parsed by Scala Native sbt plugin: |
| 95 | + # https://github.com/scala-native/scala-native/blob/691cf35751de7edf9dc7d183dd87a83b23558360/tools/src/main/scala/scala/scalanative/build/Discover.scala#L14 |
| 96 | + scalaNativeEnvVars = { |
| 97 | + # A path to the `/bin` dir of `clang` installation |
| 98 | + LLVM_BIN = "${llvm.clang}/bin"; |
| 99 | + |
| 100 | + # NanoVM didn't work with `immix` |
| 101 | + SCALANATIVE_GC = "commix"; |
| 102 | + |
| 103 | + # `:`-joined `/include/` dirs for each native library |
| 104 | + SCALANATIVE_INCLUDE_DIRS = concatStringsSep ":" ( |
| 105 | + map (dep: "${getDev dep}/include") nativeLibraries |
| 106 | + ); |
| 107 | + |
| 108 | + # `:`-joined `/lib/` dirs for each native library |
| 109 | + SCALANATIVE_LIB_DIRS = concatStringsSep ":" ( |
| 110 | + map (dep: "${getLib dep}/lib") nativeLibraries |
| 111 | + ); |
| 112 | + |
| 113 | + # NanoVM didn't work with `thin` |
| 114 | + SCALANATIVE_LTO = "full"; |
| 115 | + |
| 116 | + # The most convenient mode, `release-full` is slow, but doesn't give much advantage |
| 117 | + SCALANATIVE_MODE = "release-fast"; |
| 118 | + |
| 119 | + # No idea what is this, but sounds nice to have |
| 120 | + SCALANATIVE_OPTIMIZE = "true"; |
| 121 | + }; |
| 122 | + |
| 123 | + server = |
| 124 | + sbt-derivation.mkSbtDerivation.${system}.withOverrides { |
| 125 | + # Using `clang` instead of default `gcc` |
| 126 | + inherit (llvm) stdenv; |
| 127 | + } ( |
| 128 | + scalaNativeEnvVars |
| 129 | + // { |
| 130 | + inherit pname version; |
| 131 | + # Needed by Scala Native sbt plugin: |
| 132 | + # https://github.com/scala-native/scala-native/blob/691cf35751de7edf9dc7d183dd87a83b23558360/tools/src/main/scala/scala/scalanative/build/Discover.scala#L204 |
| 133 | + nativeBuildInputs = [pkgs.which]; |
| 134 | + src = self; |
| 135 | + depsSha256 = "sha256-zkW+XX/uWGlnMh4swDy7FQlntQ14PL51C6P0IfCGjXY="; |
| 136 | + buildPhase = '' |
| 137 | + sbt nativeLink |
| 138 | + ''; |
| 139 | + installPhase = '' |
| 140 | + mkdir -p $out/bin |
| 141 | + # Synchronize with sbt |
| 142 | + SCALA_VERSION="$(sbt --color=never --supershell=never scalaVersion | tail -n 1 | cut -d' ' -f2)" |
| 143 | + cp "./target/scala-$SCALA_VERSION/${pname}-out" $out/bin/${pname} |
| 144 | + ''; |
| 145 | + } |
| 146 | + ); |
| 147 | + |
| 148 | + # TODO: Broken at the moment, see: |
| 149 | + qemu = pkgs.callPackage (pkgs.stdenv.mkDerivation { |
| 150 | + inherit version; |
| 151 | + pname = "${pname}-qemu"; |
| 152 | + dontUnpack = true; |
| 153 | + dontPatch = true; |
| 154 | + dontConfigure = true; |
| 155 | + dontFixup = true; |
| 156 | + nativeBuildInputs = unikernelDevTools; |
| 157 | + buildPhase = '' |
| 158 | + ops build ${server}/bin/${pname} |
| 159 | + ''; |
| 160 | + installPhase = '' |
| 161 | + mkdir -p $out/share |
| 162 | + cp $HOME/.ops/images/${pname}.img $out/share/ |
| 163 | + ''; |
| 164 | + }) {}; |
| 165 | + in { |
| 166 | + formatter = pkgs.alejandra; |
| 167 | + |
| 168 | + devShell = pkgs.devshell.mkShell { |
| 169 | + name = pname; |
| 170 | + packages = scalaTools ++ unikernelDevTools ++ nativeLibraries; |
| 171 | + env = attrsToList scalaNativeEnvVars; |
| 172 | + }; |
79 | 173 |
|
80 |
| - nodejs.enable = false; |
81 |
| - sbtMicrosites.enable = false; |
82 |
| - }; |
| 174 | + packages = { |
| 175 | + inherit server qemu; |
| 176 | + default = server; |
83 | 177 | };
|
84 | 178 | });
|
85 | 179 | }
|
0 commit comments