aboutsummaryrefslogtreecommitdiff
path: root/rego-proofs/run-tests.scm
blob: dbc5da2ade25c069043c17f25ba12e22c773aa6b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
#!/usr/bin/guile -s
!#

;;; Copyright © 2023 Jakob L. Kreuze <zerodaysfordays@sdf.org>
;;;
;;; This program is free software; you can redistribute it and/or
;;; modify it under the terms of the GNU General Public License as
;;; published by the Free Software Foundation; either version 3 of the
;;; License, or (at your option) any later version.
;;;
;;; This program is distributed in the hope that it will be useful,
;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
;;; General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with this program. If not, see
;;; <http://www.gnu.org/licenses/>.

(let ((current-directory (dirname (current-filename))))
  (add-to-load-path current-directory)
  (add-to-load-path (string-join (list current-directory ".deps" "guile-lens")
                                 file-name-separator-string))
  (add-to-load-path (string-join (list current-directory ".deps" "minikanren")
                                 file-name-separator-string)))

(use-modules (compiler test))

© 2015 - 2026 Jakob L. Kreuze