diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2022-02-16 11:04:53 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2022-02-16 12:45:32 +0200 |
| commit | d96481c072d9a1e059806c509b7bd5911a74ce42 (patch) | |
| tree | f81129f4ddfd69e7502e3d5ed50867650c7bf2dd /gnu | |
| parent | 5acb9b70bdb0f297d101d48936cbcc8b6533673f (diff) | |
gnu: julia-media: Create Project.toml file.
* gnu/packages/julia-xyz.scm (julia-media)[arguments]: Add custom phase
to create Package.toml file.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/julia-xyz.scm | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/gnu/packages/julia-xyz.scm b/gnu/packages/julia-xyz.scm index 9a2c20e94c..4090d6d9c4 100644 --- a/gnu/packages/julia-xyz.scm +++ b/gnu/packages/julia-xyz.scm @@ -3471,7 +3471,20 @@ resolving them into absolute units.") ;; Package without Project.toml (arguments '(#:julia-package-name "Media" - #:julia-package-uuid "e89f7d12-3494-54d1-8411-f7d8b9ae1f27")) + #:julia-package-uuid "e89f7d12-3494-54d1-8411-f7d8b9ae1f27" + #:phases + (modify-phases %standard-phases + (add-after 'unpack 'create-package-toml + (lambda* (#:key julia-package-name julia-package-uuid #:allow-other-keys) + (with-output-to-file "Project.toml" + (lambda _ + (format #t + "name = \"~a\"~@ + uuid = \"~a\"~@ + [deps]~@ + MacroTools = \"1914dd2f-81c6-5fcd-8719-6d5c9610ff09\"~%" + julia-package-name + julia-package-uuid)))))))) (propagated-inputs (list julia-macrotools)) (home-page "https://github.com/JunoLab/Media.jl") |