From 8a4ebeacb9ee4cf61dd67bf2ec669b1440f5cb3e Mon Sep 17 00:00:00 2001
From: Olivier Farges <olivier.farges@univ-lorraine.fr>
Date: Mon, 3 Mar 2025 14:24:24 +0100
Subject: [PATCH] debug star-sp
---
edix/packages/random123.scm | 104 +++++++-----------------------------
1 file changed, 18 insertions(+), 86 deletions(-)
diff --git a/edix/packages/random123.scm b/edix/packages/random123.scm
index 423a517..c378fa6 100644
--- a/edix/packages/random123.scm
+++ b/edix/packages/random123.scm
@@ -31,96 +31,28 @@
#:phases
(modify-phases %standard-phases
(delete 'configure)
-;(replace 'install
-; (lambda* (#:key outputs #:allow-other-keys)
-; (let* ((out (assoc-ref outputs "out"))
- ; (include-dir (string-append out "/include"))
- ; (pkgconfig-dir (string-append out "/lib/pkgconfig"))
- ; (pc-file (string-append pkgconfig-dir "/random123.pc")))
- ;; Créer les dossiers d'installation
- ;(mkdir-p include-dir)
- ;(mkdir-p pkgconfig-dir)
- ;; Copier les fichiers d'en-tête
- ;(copy-recursively "include" include-dir)
- ;; Générer `random123.pc` directement dans `pkgconfig-dir`
- ;(call-with-output-file pc-file
- ; (lambda (port)
- ; (format port "prefix=~a\n" out)
- ; (format port "includedir=${prefix}/include\n\n")
- ; (format port "Name: Random123\n")
- ; (format port "Description: Counter-Based Random Number Generators\n")
- ; (format port "Version: 0.14~%\n\n")
- ; (format port "Cflags: -I${includedir}\n")))
- ;(format #t "✔ Fichier random123.pc généré avec succès à ~a\n" pc-file)
-; ))))
-;(replace 'install
-; (lambda* (#:key outputs #:allow-other-keys)
-; (let ((out (assoc-ref outputs "out")))
- ;; Correction : forcer PREFIX et DESTDIR
-; (invoke "make" "install"
-; (string-append "PREFIX=" out)
-; (string-append "DESTDIR=" out)))))
-; (replace 'install
-; (lambda* (#:key outputs #:allow-other-keys)
-; (let ((out (assoc-ref outputs "out")))
-; (invoke "make" "install" (string-append "PREFIX=" out)))))
-
-(replace 'build
- (lambda _
- (let* ((version ,version)
- (tag (string-append "v" ,version)))
- ;; Générer `random123.mk.in` manuellement
- (call-with-output-file "random123.mk.in"
+(replace 'install
+ (lambda* (#:key outputs #:allow-other-keys)
+ (let* ((out (assoc-ref outputs "out"))
+ (include-dir (string-append out "/include"))
+ (pkgconfig-dir (string-append out "/lib/pkgconfig"))
+ (pc-file (string-append pkgconfig-dir "/random123.pc")))
+ ; Créer les dossiers d'installation
+ (mkdir-p include-dir)
+ (mkdir-p pkgconfig-dir)
+ ; Copier les fichiers d'en-tête
+ (copy-recursively "include" include-dir)
+ ; Générer `random123.pc` directement dans `pkgconfig-dir`
+ (call-with-output-file pc-file
(lambda (port)
- (format port "PREFIX=@PREFIX@\n")
- (format port "includedir=${PREFIX}/include\n")
- (format port "\n")
+ (format port "prefix=~a\n" out)
+ (format port "includedir=${prefix}/include\n\n")
(format port "Name: Random123\n")
(format port "Description: Counter-Based Random Number Generators\n")
- (format port "Version: ~a\n\n" version)
+ (format port "Version: 0.14~%\n\n")
(format port "Cflags: -I${includedir}\n")))
-
- ;; Générer `Makefile`
- (invoke "sh" "-c"
- (string-append "sed -e 's/@TAG@/" tag "/' -e 's/@VERSION@/" version "/' random123.mk.in > Makefile"))
- ;; Compiler
- (invoke "make"))))
-
-
-;(replace 'install
-; (lambda* (#:key outputs #:allow-other-keys)
-; (let* ((out (assoc-ref outputs "out"))
-; (include-dir (string-append out "/include"))
-; (pkgconfig-dir (string-append out "/lib/pkgconfig"))
-; (pc-file (string-append pkgconfig-dir "/random123.pc")))
-; (mkdir-p include-dir)
-; (mkdir-p pkgconfig-dir)
- ;; Exécuter `make install` avec `PREFIX` et `DESTDIR`
-; (invoke "make" "install"
-; (string-append "PREFIX=" out)
-; (string-append "DESTDIR=" out))
- ;; Vérifier si `include/` a bien été installé, sinon le copier manuellement
-; (if (not (file-exists? (string-append include-dir "/Random123")))
-; (begin
-; (format #t "⚠ `make install` n'a pas installé `include/`, copie manuelle...\n")
-; (copy-recursively "include" include-dir))
-; (format #t "✔ `include/` installé avec `make install`\n"))
- ;; Générer `random123.pc`
-; (call-with-output-file pc-file
-; (lambda (port)
-; (format port "prefix=~a\n" out)
-; (format port "includedir=${prefix}/include\n\n")
-; (format port "Name: Random123\n")
-; (format port "Description: Counter-Based Random Number Generators\n")
-; (format port "Version: ~a\n\n" ,version)
-; (format port "Cflags: -I${includedir}\n")))
-; (format #t "✔ Installation réussie : `random123.pc` généré et installé dans ~a\n" pc-file)))))))
-
- (replace 'install
- (lambda* (#:key outputs #:allow-other-keys)
- (let ((out (assoc-ref outputs "out")))
- (invoke "make" "install" (string-append "PREFIX=" out ) (string-append "DESTDIR=" out))))))))
-
+ (format #t "✔ Fichier random123.pc généré avec succès à ~a\n" pc-file)
+ ))))))
(synopsis "Bibliothèque de générateurs de nombres aléatoires contre-basés")
(description "Random123 est une bibliothèque fournissant des générateurs de nombres aléatoires hautes performances.")
(home-page "https://github.com/DEShawResearch/random123")
--
GitLab