quebex

A software analysis framework built around the QBE intermediate language

git clone https://git.8pit.net/quebex.git

 1;; SPDX-FileCopyrightText: 2025 Sören Tempel <soeren+git@soeren-tempel.net>
 2;;
 3;; SPDX-License-Identifier: GPL-3.0-only
 4
 5(use-modules (guix gexp)
 6             (guix packages)
 7             (guix profiles)
 8             (quebex-packages))
 9
10;; This setup here is inspired by the guile-git Guix setup.
11;; See https://gitlab.com/guile-git/guile-git/-/tree/v0.10.0/.guix
12
13(concatenate-manifests
14  (list (package->development-manifest quebex)
15        (package->development-manifest quebex-syntax)
16        (package->development-manifest quebex-symex)
17
18        ;; Extra packages, useful for development purposes.
19        (specifications->manifest
20          '("cabal-install"
21            "coreutils"
22            "hlint"
23            "apply-refact"
24            "reuse"
25            ;; TODO: ormolu
26            "cproc"
27            "git"))))