diff options
author | Sergio Pastor Pérez <sergio.pastorperez@outlook.es> | 2023-09-10 17:42:05 +0200 |
---|---|---|
committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2023-09-17 16:29:45 -0400 |
commit | c98bdbfb64ebea6aeeb4dd03c2139c0a8195bdcf (patch) | |
tree | e07ec4ae670254e2b25bc7cb577d8b7583b6d42b /gnu | |
parent | 4268f8ded2ba6d940da6533f32e99c071cf734cc (diff) |
gnu: Add mini.
* gnu/packages/image.scm (mini): New variable.
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/image.scm | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/gnu/packages/image.scm b/gnu/packages/image.scm index 75f9e3c691..b41c1eac73 100644 --- a/gnu/packages/image.scm +++ b/gnu/packages/image.scm @@ -1931,6 +1931,45 @@ medical image data, e.g. magnetic resonance image (MRI) and functional MRI (home-page "https://niftilib.sourceforge.net") (license license:public-domain))) +(define-public mini + (package + (name "mini") + (version "0.9.14") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/pulzed/mINI") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "01wn7h9rjz9h6cr11dd62jsb3315d1h6c33pdmwi2l7d8a4n3h8d")))) + (build-system gnu-build-system) + (arguments + (list #:phases + #~(modify-phases %standard-phases + (delete 'build) + (delete 'configure) + (replace 'check + (lambda* (#:key tests? #:allow-other-keys) + (when tests? + (with-directory-excursion "tests" + (for-each (lambda (test) + (let ((test-name (basename test + ".cpp"))) + (invoke "./build.sh" test-name) + (invoke "./run.sh" test-name))) + (find-files "." ".cpp")))))) + (replace 'install + (lambda _ + (install-file "src/mini/ini.h" + (string-append #$output "/include/mini"))))))) + (home-page "https://github.com/pulzed/mINI") + (synopsis "INI file reader and writer header library") + (description + "This is a tiny, header-only C++ library for manipulating INI files.") + (license license:expat))) + (define-public gpick (package (name "gpick") |