-
Notifications
You must be signed in to change notification settings - Fork 0
/
flake.nix
101 lines (90 loc) · 2.75 KB
/
flake.nix
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
{
description = "A Nix flake dev environment for N7 assignements (Matlab, Coq, Gnat, X2GO, ...)";
inputs = {
nixpkgs.url = "github:NixOS/nixpkgs/nixpkgs-unstable";
flake-parts.url = "github:hercules-ci/flake-parts";
systems.url = "github:nix-systems/default";
nix-matlab.url = "gitlab:doronbehar/nix-matlab";
};
outputs = inputs:
inputs.flake-parts.lib.mkFlake {inherit inputs;} {
systems = import inputs.systems;
perSystem = {
config,
self',
pkgs,
lib,
system,
...
}: {
devShells.default = pkgs.mkShell {
# # Matlab (needs a working matlab install elsewhere, see https://gitlab.com/doronbehar/nix-matlab)
# shellHook = nix-matlab.shellHooksCommon;
# buildInputs = with nix-matlab.packages.x86_64-linux; [
# matlab
# matlab-mlint
# matlab-mex
# ];
packages = with pkgs; [
# Nix
nil
alejandra
# Typst
typst
typst-lsp
typst-fmt
# # Modélisation
# opam # il faut installer les packages why3-coq, why3
# # et run : eval $(opam env)
# autoconf
# pkg-config
# gtk3
# gtksourceview
# coqPackages.coqide
# coq
# # PIM (Ada)
# gnat
# gprbuild
# valgrind
# gdb
# hyperfine
# # C
# python310Packages.jupyter-c-kernel
# jupyter
# cmake
# clang-tools
# # Apprentissage (il manque des modules, je conseille pas de l'utiliser)
# (pkgs.python3.withPackages (python-pkgs: [
# python-pkgs.jupyter
# python-pkgs.numpy
# python-pkgs.matplotlib
# python-pkgs.scikit-learn
# python-pkgs.tensorflow
# python-pkgs.keras
# python-pkgs.treelib
# ]))
# # Arduino (needs aditionnal udev rules:
# # see https://github.com/louis-thevenet/nixos-config/blob/67c87176c875801dd2a65a699189bd9959da4837/hosts/hircine/default.nix#L70C1-L75C6)
# arduino-core
# arduino-ide
# Java
jdk22
# OCaml
ocaml
dune_3
ocamlPackages.utop
ocamlPackages.ocamlformat
ocamlPackages.menhir
ocamlPackages.graphics
ocamlPackages.ppx_inline_test
ocamlPackages.ppx_expect
# Utilitaires
unzip
vpnc
filezilla
x2goclient
];
};
};
};
}