From 70d60e5ee6d1092f765807b8483c9c16d2afa678 Mon Sep 17 00:00:00 2001
From: Quentin Aristote <quentin@aristote.fr>
Date: Wed, 22 Feb 2023 22:39:56 +0100
Subject: add home-manager modules

---
 .../personal/dotfiles/venv-manager.nix             | 39 ++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 modules/home-manager/personal/dotfiles/venv-manager.nix

(limited to 'modules/home-manager/personal/dotfiles/venv-manager.nix')

diff --git a/modules/home-manager/personal/dotfiles/venv-manager.nix b/modules/home-manager/personal/dotfiles/venv-manager.nix
new file mode 100644
index 0000000..248cb0c
--- /dev/null
+++ b/modules/home-manager/personal/dotfiles/venv-manager.nix
@@ -0,0 +1,39 @@
+{ config, lib, pkgs, ... }:
+
+{
+  direnv.enable = lib.mkDefault true;
+
+  haskell = { spacemacs.enable = lib.mkDefault true; };
+
+  latex = {
+    packages = tl: {
+      inherit (tl)
+        scheme-basic # scheme
+        koma-script ragged2e everysel footmisc # koma
+      ;
+    };
+    latexmk = {
+      enable = lib.mkDefault true;
+      output.pdf.enable = lib.mkDefault true;
+      rc =
+        lib.optional (lib.pathExists ~/.config/latexmkrc) ~/.config/latexmkrc;
+    };
+  };
+
+  nix.enable = lib.mkDefault true;
+
+  ocaml.tuareg.enable = lib.mkDefault true;
+
+  coq.coq = pkgs.coq_8_15;
+  # pkgs.coq_8_15.override { buildIde = false; };
+
+  why3 = {
+    defaultEditor = "emacsclient -c";
+    extraConfig = lib.optionalString config.coq.enable ''
+      [prover]
+      editor = ""
+      name = "Coq"
+      version = "8.15+rc1"
+    '';
+  };
+}
-- 
cgit v1.2.3