From 720481c8d437f2ba53326fa20957212d9dbea56f Mon Sep 17 00:00:00 2001
From: Quentin Aristote <quentin@aristote.fr>
Date: Fri, 8 Apr 2022 10:21:52 +0200
Subject: disable coqIde by default and coq loading in why3

---
 home/config/dotfiles/venv-manager.nix | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'home/config')

diff --git a/home/config/dotfiles/venv-manager.nix b/home/config/dotfiles/venv-manager.nix
index 6ae1314..26cd9b6 100644
--- a/home/config/dotfiles/venv-manager.nix
+++ b/home/config/dotfiles/venv-manager.nix
@@ -1,4 +1,4 @@
-{ lib, pkgs, ... }:
+{ config, lib, pkgs, ... }:
 
 {
   direnv.enable = lib.mkDefault true;
@@ -23,11 +23,12 @@
 
   ocaml.tuareg.enable = lib.mkDefault true;
 
-  coq.coq = pkgs.coq_8_15.override { buildIde = false; };
+  coq.coq = pkgs.coq_8_15;
+    # pkgs.coq_8_15.override { buildIde = false; };
 
   why3 = {
     defaultEditor = "emacsclient -c";
-    extraConfig = ''
+    extraConfig = lib.optionalString config.coq.enable ''
       [prover]
       editor = ""
       name = "Coq"
-- 
cgit v1.2.3