|
6 | 6 | fetchFromGitHub,
|
7 | 7 | boost182,
|
8 | 8 | catch2_3,
|
| 9 | + fmt_10, |
9 | 10 | cmake,
|
10 | 11 | ninja,
|
11 | 12 | python3,
|
12 |
| -}: let |
13 |
| - fmt = fetchFromGitHub { |
14 |
| - owner = "fmtlib"; |
15 |
| - repo = "fmt"; |
16 |
| - rev = "10.2.1"; |
17 |
| - hash = "sha256-pEltGLAHLZ3xypD/Ur4dWPWJ9BGVXwqQyKcDWVmC3co="; |
18 |
| - }; |
19 |
| - catch2 = fetchFromGitHub { |
20 |
| - owner = "catchorg"; |
21 |
| - repo = "Catch2"; |
22 |
| - rev = "v3.5.3"; |
23 |
| - hash = "sha256-A7vVRHMabm75Udy0fXwsPw4/JkXfjQq/MwmJukdS1Ic="; |
24 |
| - }; |
25 |
| -in |
26 |
| - stdenv.mkDerivation rec { |
27 |
| - pname = "sv-lang"; |
28 |
| - version = "6.0"; |
| 13 | +}: |
| 14 | +stdenv.mkDerivation rec { |
| 15 | + pname = "sv-lang"; |
| 16 | + version = "6.0"; |
29 | 17 |
|
30 |
| - src = fetchFromGitHub { |
31 |
| - owner = "MikePopoloski"; |
32 |
| - repo = "slang"; |
33 |
| - rev = "v${version}"; |
34 |
| - sha256 = "sha256-mT8sfUz0H4jWM/SkV/uW4kmVKE9UQy6XieG65yJvIA8="; |
35 |
| - }; |
| 18 | + src = fetchFromGitHub { |
| 19 | + owner = "MikePopoloski"; |
| 20 | + repo = "slang"; |
| 21 | + rev = "v${version}"; |
| 22 | + sha256 = "sha256-mT8sfUz0H4jWM/SkV/uW4kmVKE9UQy6XieG65yJvIA8="; |
| 23 | + }; |
36 | 24 |
|
37 |
| - cmakeFlags = [ |
38 |
| - # fix for https://github.com/NixOS/nixpkgs/issues/144170 |
39 |
| - "-DCMAKE_INSTALL_INCLUDEDIR=include" |
40 |
| - "-DCMAKE_INSTALL_LIBDIR=lib" |
| 25 | + cmakeFlags = [ |
| 26 | + # fix for https://github.com/NixOS/nixpkgs/issues/144170 |
| 27 | + "-DCMAKE_INSTALL_INCLUDEDIR=include" |
| 28 | + "-DCMAKE_INSTALL_LIBDIR=lib" |
41 | 29 |
|
42 |
| - "-DFETCHCONTENT_SOURCE_DIR_FMT=${fmt}" |
43 |
| - "-DFETCHCONTENT_SOURCE_DIR_CATCH2=${catch2}" |
| 30 | + "-DFETCHCONTENT_SOURCE_DIR_FMT=${fmt_10.src.outPath}" |
| 31 | + "-DFETCHCONTENT_SOURCE_DIR_CATCH2=${catch2_3.src.outPath}" |
44 | 32 |
|
45 |
| - "-DSLANG_INCLUDE_TESTS=${ |
46 |
| - if doCheck |
47 |
| - then "ON" |
48 |
| - else "OFF" |
49 |
| - }" |
50 |
| - "-DSLANG_USE_MIMALLOC=OFF" |
51 |
| - ]; |
| 33 | + "-DSLANG_INCLUDE_TESTS=${ |
| 34 | + if doCheck |
| 35 | + then "ON" |
| 36 | + else "OFF" |
| 37 | + }" |
| 38 | + "-DSLANG_USE_MIMALLOC=OFF" |
| 39 | + ]; |
52 | 40 |
|
53 |
| - nativeBuildInputs = [ |
54 |
| - cmake |
55 |
| - python3 |
56 |
| - ninja |
| 41 | + nativeBuildInputs = [ |
| 42 | + cmake |
| 43 | + python3 |
| 44 | + ninja |
57 | 45 |
|
58 |
| - # though only used in tests, cmake will complain its absence when configuring |
59 |
| - catch2_3 |
60 |
| - ]; |
| 46 | + # though only used in tests, cmake will complain its absence when configuring |
| 47 | + catch2_3 |
| 48 | + ]; |
61 | 49 |
|
62 |
| - buildInputs = [ |
63 |
| - boost182 |
64 |
| - ]; |
| 50 | + buildInputs = [ |
| 51 | + boost182 |
| 52 | + ]; |
65 | 53 |
|
66 |
| - # TODO: a mysterious linker error occurs when building the unittests on darwin. |
67 |
| - # The error occurs when using catch2_3 in nixpkgs, not when fetching catch2_3 using CMake |
68 |
| - doCheck = !stdenv.isDarwin; |
| 54 | + # TODO: a mysterious linker error occurs when building the unittests on darwin. |
| 55 | + # The error occurs when using catch2_3 in nixpkgs, not when fetching catch2_3 using CMake |
| 56 | + doCheck = !stdenv.isDarwin; |
69 | 57 |
|
70 |
| - meta = with lib; { |
71 |
| - description = "SystemVerilog compiler and language services"; |
72 |
| - homepage = "https://github.com/MikePopoloski/slang"; |
73 |
| - license = licenses.mit; |
74 |
| - maintainers = with maintainers; [sharzy]; |
75 |
| - mainProgram = "slang"; |
76 |
| - broken = stdenv.isDarwin; |
77 |
| - platforms = platforms.all; |
78 |
| - }; |
79 |
| - } |
| 58 | + meta = with lib; { |
| 59 | + description = "SystemVerilog compiler and language services"; |
| 60 | + homepage = "https://github.com/MikePopoloski/slang"; |
| 61 | + license = licenses.mit; |
| 62 | + maintainers = with maintainers; [sharzy]; |
| 63 | + mainProgram = "slang"; |
| 64 | + broken = stdenv.isDarwin; |
| 65 | + platforms = platforms.all; |
| 66 | + }; |
| 67 | +} |
0 commit comments