Full install instructions

mini-chameleon-dev-ide-manifest.scm

+;; Ce qui suit est un « manifeste » équivalent à la ligne de commande que vous avez passée.
+;; Vous pouvez le sauvegarder dans un fichier qui vous pourrez passer aux commandes « guix »
+;; qui acceptent l'option « --manifest » (ou « -m »).
+
+(concatenate-manifests
+  (list (specifications->manifest
+          (list "emacs-bedrock-as-default"
+                "clang-toolchain"))
+        (package->development-manifest
+          (specification->package "mini-chameleon"))))

tutorial/setup-ide.org

@@ -77,6 +77,16 @@ file. We provide such a [[https://gitlab.inria.fr/solverstack/mini-examples/mini
 Afterwards, ~emacs-bedrock~ can then be launched with the ~emacs~
 command.
 
+You can the full development environment (including dependencies for developing mini-chameleon) installed via:
+
+#+begin_src
+guix install -m mini-chameleon-dev-ide-manifest.scm
+#+end_src
+
+Note that when you update your channels (through ~guix pull
+--allow-downgrades~), you can then uprade your packages (through ~guix
+upgrade~).
+
 * COMMENT Front-end: minimal emacs with lsp on plafrim
 
 We follow: https://emacs-lsp.github.io/lsp-mode/tutorials/CPP-guide/, which we adapt with =guix=.