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             (gnu packages base)
 9             (gnu packages c)
10             (gnu packages haskell-apps)
11             (gnu packages license)
12             (gnu packages version-control)
13             (quebex-packages))
14
15;; This setup here is inspired by the guile-git Guix setup.
16;; See https://gitlab.com/guile-git/guile-git/-/tree/v0.10.0/.guix
17
18(concatenate-manifests
19  (list (package->development-manifest quebex)
20        (package->development-manifest quebex-syntax)
21        (package->development-manifest quebex-symex)
22        (package->development-manifest quebex-cli)
23
24        ;; Extra packages, useful for development purposes.
25        (packages->manifest
26          (list
27            cabal-install
28            coreutils
29            hlint
30            apply-refact
31            reuse
32            cproc
33            git
34            lhs2tex))))