Merge pull request #730 from coq-community/dev-shells

Fix dev shells in flake
coq · Feb 15, 2024 · f393495 · f393495
2 parents cd14130 + 7e02feb
commit f393495
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -143,13 +143,15 @@
 
     devShells.vscoq-language-server-coq-8-18 = 
         with import nixpkgs { inherit system; };
+        let ocamlPackages = ocaml-ng.ocamlPackages_4_14; in
         mkShell {
             buildInputs =
             self.packages.${system}.vscoq-language-server-coq-8-18.buildInputs;
         };
 
     devShells.vscoq-language-server-coq-8-19 = 
       with import nixpkgs { inherit system; };
+      let ocamlPackages = ocaml-ng.ocamlPackages_4_14; in
       mkShell {
         buildInputs =
           self.packages.${system}.vscoq-language-server-coq-8-19.buildInputs;
@@ -168,6 +170,7 @@
 
     devShells.default = 
       with import nixpkgs { inherit system; };
+      let ocamlPackages = ocaml-ng.ocamlPackages_4_14; in
       mkShell {
         buildInputs =
           self.packages.${system}.vscoq-language-server-coq-8-19.buildInputs