qute

A software analysis framework built around the QBE intermediate language

git clone https://git.8pit.net/qute.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 curl)
11             (gnu packages haskell-apps)
12             (gnu packages license)
13             (gnu packages nss)
14             (gnu packages version-control)
15             (qute-packages))
16
17;; This setup here is inspired by the guile-git Guix setup.
18;; See https://gitlab.com/guile-git/guile-git/-/tree/v0.10.0/.guix
19
20(concatenate-manifests
21  (list (package->development-manifest qute)
22        (package->development-manifest qute-syntax)
23        (package->development-manifest qute-symex)
24        (package->development-manifest qute-cli)
25
26        ;; Extra packages, useful for development purposes.
27        (packages->manifest
28          (list
29            cabal-install
30            curl ;needed by Cabal.
31            nss-certs ;needed by Cabal.
32            coreutils
33            ktest-tool
34            hlint
35            apply-refact
36            reuse
37            cproc
38            git
39            lhs2tex
40            qute-cli))))