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 haskell-xyz)
13             (gnu packages license)
14             (gnu packages nss)
15             (gnu packages version-control)
16             (qute-packages))
17
18;; This setup here is inspired by the guile-git Guix setup.
19;; See https://gitlab.com/guile-git/guile-git/-/tree/v0.10.0/.guix
20
21(concatenate-manifests
22  (list (package->development-manifest qute)
23        (package->development-manifest qute-syntax)
24        (package->development-manifest qute-symex)
25        (package->development-manifest qute-cli)
26
27        ;; Required by the benchmarks.
28        (packages->manifest
29          (list ghc-criterion))
30
31        ;; Extra packages, useful for development purposes.
32        (packages->manifest
33          (list
34            cabal-install
35            curl ;needed by Cabal.
36            nss-certs ;needed by Cabal.
37            coreutils
38            ktest-tool
39            hlint
40            ; TODO: apply-refact is broken since ghc >= 9.10.
41            ; See <https://github.com/mpickering/apply-refact/pull/149>.
42            ; apply-refact
43            reuse
44            cproc
45            git
46            lhs2tex
47            qute-cli))))