Emacs test pipeline

.github/workflows/emacs.yml

@@ -0,0 +1,30 @@
+# check compilation with previous versions of ocaml
+
+on:
+  pull_request:
+    types: [opened, synchronize, reopened]
+  push:
+    paths:
+      - '.github/workflows/emacs.yml'
+      - 'editors/emacs/**'
+  workflow_dispatch:
+
+jobs:
+  test_compile:
+    strategy:
+      fail-fast: false
+      matrix:
+        eglot-version: [1.9, 0]
+        math-symbol-list-version: [1.2.1, 1.3, 0]
+        highlight-version: [20250724.2154, 20250815.1830, 0]
+    runs-on: ubuntu-latest
+    steps:
+      - name: checkout
+        uses: actions/checkout@v4
+      - name: build lambdapi-mode
+        run: make -C editors/emacs dist
+      - name: install lambdapi-mode
+        run: |
+          chmod +x installAndLaunch.sh
+          ./installAndLaunch.sh lambdapi-mode 1.1.0 /snap/bin/emacs ${{ matrix.eglot-version }} ${{ matrix.math-symbol-list-version }} ${{ matrix.highlight-version }}
+        working-directory: editors/emacs/

editors/emacs/clean.sh

@@ -0,0 +1,12 @@
+#!/bin/bash
+
+set -e
+
+sudo apt remove --purge emacs emacs-common
+sudo snap remove --purge emacs
+echo removing conf files
+rm -rf ~/.emacs.d ~/.emacs ~/.emacs.el ~/.config/emacs
+if [ "$1" = "--all" ]; then
+    echo "removing .emacs.d configuration forlder"
+    rm -fr ~/.emacs.d
+fi

editors/emacs/installAndLaunch.sh

@@ -0,0 +1,149 @@
+#!/bin/bash
+
+set -e
+NAME="$1"
+VERSION="$2"
+BIN="$3"
+EGLOT_V="$4"
+MATH_SYMB_V="$5"
+HIGHLIGHT_V="$6"
+
+# For instance, one can run the scrupt with ./installAndLaunch.sh lambdapi-mode 1.1.0 /snap/bin/emacs 1.5 1.3 20210318.2248 (Does not work because Eglot.V.1.5 is too old)
+# ./installAndLaunch.sh lambdapi-mode 1.1.0 /snap/bin/emacs 1.18 1.3 20210318.2248 Does not work because Eglot repo stoped using tags since 2012.
+# For using the latest commit of a library just use version 0. For instance : ./installAndLaunch.sh lambdapi-mode 1.1.0 /snap/bin/emacs 0 1.3 0
+
+convertVersionToCommitDate() {
+  local input="$1"
+  local date_part=${input%%.*}
+
+  printf "%s-%s-%s %s:%s\n" \
+    "${date_part:0:4}" \
+    "${date_part:4:2}" \
+    "${date_part:6:2}"
+}
+
+
+echo "📦 Installation d'Emacs..."
+sudo snap install emacs --classic
+
+echo "📁 Préparation du dossier de configuration Emacs..."
+mkdir -p ~/.emacs.d
+
+echo "📝 Écriture du fichier init.el avec straight.el et Eglot 1.17..."
+cat <<'EOF' > ~/.emacs.d/init.el
+(require 'package)
+(add-to-list 'package-archives '("melpa" . "https://melpa.org/packages/") t)
+(setq package-check-signature nil)
+(add-to-list 'load-path (expand-file-name "~/.emacs.d/elpa/eglot/"))
+(require 'eglot)
+(add-to-list 'load-path (expand-file-name "~/.emacs.d/elpa/math-symbol-lists/"))
+(require 'math-symbol-lists)
+(add-to-list 'load-path (expand-file-name "~/.emacs.d/elpa/highlight/"))
+(require 'highlight)
+EOF
+ echo "creating elpa folder"
+ mkdir -p ~/.emacs.d/elpa/
+
+echo "cloning dependencies repos"
+if [ ! -d ~/.emacs.d/elpa/eglot ]; then
+  if [[ ${EGLOT_V} == "0" ]]; then  # ignore branch
+    git clone --depth 1 https://github.com/joaotavora/eglot.git ~/.emacs.d/elpa/eglot
+    EGLOT_V="1.9"
+  else
+    git clone --depth 1 --branch ${EGLOT_V} https://github.com/joaotavora/eglot.git ~/.emacs.d/elpa/eglot
+  fi
+  echo "Eglot cloned to " ~/.emacs.d/elpa/eglot
+else
+  echo "Eglot is already cloned. Skipping"
+fi
+if [ ! -d ~/.emacs.d/elpa/math-symbol-lists ]; then
+  if [[ ${MATH_SYMB_V} == "0" ]]; then # ignore branch
+    git clone --depth 1 https://github.com/vspinu/math-symbol-lists.git ~/.emacs.d/elpa/math-symbol-lists
+    MATH_SYMB_V=1.2.1
+  else
+    git clone --depth 1 --branch v${MATH_SYMB_V} https://github.com/vspinu/math-symbol-lists.git ~/.emacs.d/elpa/math-symbol-lists
+  fi
+  echo "math-symbol-lists cloned to " ~/.emacs.d/elpa/math-symbol-lists
+else
+  echo "math-symbol-lists is already cloned. Skipping"
+fi
+
+if [ ! -d ~/.emacs.d/elpa/highlight ]; then
+  commit_date=$(convertVersionToCommitDate ${HIGHLIGHT_V})
+  git clone https://github.com/emacsmirror/highlight.git ~/.emacs.d/elpa/highlight
+  echo "cheking out to ${commit_date}. If commit does not exist (i.e. 0) it is just ignored."
+  if [[ ${HIGHLIGHT_V} == "0" ]]; then # ignore branch
+    # git -C ~/.emacs.d/elpa/highlight checkout $(git -C ~/.emacs.d/elpa/highlight rev-list -n 1 --after="${commit_date}" master)
+    HIGHLIGHT_V=20250815.1830
+  else
+    git -C ~/.emacs.d/elpa/highlight checkout $(git -C ~/.emacs.d/elpa/highlight rev-list -n 1 --after="${commit_date}" master)
+  fi
+  echo "highlight cloned to " ~/.emacs.d/elpa/highlight
+else
+  echo "Highlight is already cloned. Skipping"
+fi
+
+echo "updating version in Elpa"
+echo "(define-package \"highlight\" \"${HIGHLIGHT_V}\")" > ~/.emacs.d/elpa/highlight/highlight-pkg.el
+echo "(define-package \"eglot\" \"${EGLOT_V}\")" > ~/.emacs.d/elpa/eglot/eglot-pkg.el
+echo "(define-package \"math-symbol-lists\" \"${MATH_SYMB_V}\")" > ~/.emacs.d/elpa/math-symbol-lists/math-symbol-lists-pkg.el
+
+touch ~/.emacs.d/elpa/math-symbol-lists/math-symbol-lists-autoloads.el
+touch ~/.emacs.d/elpa/highlight/highlight-autoloads.el
+
+echo "🚀 Premier lancement d’Emacs pour déclencher l’installation..."
+# (package-refresh-contents)
+PATH="$BIN:$PATH" emacs \
+  -l ~/.emacs.d/init.el \
+  --eval "(package-install-file \"${NAME}-${VERSION}.tar\")" \
+  --batch \
+#   # --eval "(require-package 'math-symbol-lists)" \
+echo "🎉 Terminé ! Lance Emacs normalement pour commencer à coder avec Eglot 1.17."
+
+# (use-package eglot)
+# (use-package math-symbol-lists)
+# (use-package highlight)
+# (require-package eglot)
+# (require-package math-symbol-lists)
+# (require-package highlight)
+
+# curl highilight and math-symbol-lists from https://elpa.gnu.org/packages/math-symbol-lists.html
+# extract with tar --lzip -xvf math-symbol-lists-1.1.tar.lz
+# or lzip -d math-symbol-lists-1.2.1.el.lz
+
+# move to /home/abdelghani/.emacs.d/elpa/math-symbol-lists and /home/abdelghani/.emacs.d/elpa/highlight
+# echo ";; -*- no-byte-compile: t; lexical-binding: nil -*-
+#(define-package "highlight" "20210318.2248"
+#  "Highlighting commands."
+#  ()
+#  :url "https://www.emacswiki.org/emacs/download/highlight.el"
+#  :commit "28557cb8d99b96eb509aaec1334c7cdda162517f"
+#  :revdesc "28557cb8d99b"
+#  :keywords '("faces" "help" "local")
+#  :maintainers '(("Drew Adams (concat \"drew.adams\" \"oracle\" \".com\"" . "\"@\" ")))
+# " > elpa/highlight-20210318.2248/highlight-pkg.el
+# echo ";; -*- no-byte-compile: t; lexical-binding: nil -*-
+# (define-package "math-symbol-lists" "1.2.1"
+#   "Lists of Unicode math symbols and latex commands."
+#   ()
+#   :url "https://github.com/vspinu/math-symbol-lists"
+#   :commit "ac3eb053d3b576fcdd192b0ac6ad5090ea3a7079"
+#   :revdesc "ac3eb053d3b5"
+#   :keywords '("unicode" "symbols" "mathematics")
+#   :authors '(("Vitalie Spinu" . "[email protected]"))
+#   :maintainers '(("Vitalie Spinu" . "[email protected]")))
+# " > elpa/math-symbol-lists/math-symbol-lists-pkg.el
+
+# REplace versions in *-pkg.el files
+
+
+# echo
+# PATH="$BIN:$PATH" emacs \
+#   --batch \
+#   -l ~/.emacs.d/init.el \
+#   --eval="(package-refresh-contents) "
+
+# echo "\
+# " >> ~/.emacs.d/init.el
+
+