New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
idrisPackages: add packages #37358
idrisPackages: add packages #37358
Conversation
cc @siddharthist @vmchale |
Did you automatically generate this package list? |
|
No attempt on aarch64-linux The following builds were skipped because they don't evaluate on aarch64-linux: idrisPackages.array, idrisPackages.bi, idrisPackages.bifunctors, idrisPackages.bytes, idrisPackages.canvas, idrisPackages.categories, idrisPackages.coda, idrisPackages.config, idrisPackages.comonad, idrisPackages.composition, idrisPackages.console, idrisPackages.containers, idrisPackages.cube, idrisPackages.curses, idrisPackages.data, idrisPackages.derive, idrisPackages.descncrunch, idrisPackages.dict, idrisPackages.dom, idrisPackages.electron, idrisPackages.eternal, idrisPackages.farrp, idrisPackages.free, idrisPackages.fsm, idrisPackages.glfw, idrisPackages.graphviz, idrisPackages.hamt, idrisPackages.html, idrisPackages.heyting-algebra, idrisPackages.hezarfen, idrisPackages.hrtime, idrisPackages.http, idrisPackages.http4idris, idrisPackages.iaia, idrisPackages.idrishighlighter, idrisPackages.idrisscript, idrisPackages.ipkgparser, idrisPackages.jheiling-extras, idrisPackages.jheiling-js, idrisPackages.js, idrisPackages.lens, idrisPackages.lightyear, idrisPackages.logic, idrisPackages.mapping, idrisPackages.mhd, idrisPackages.pacman, idrisPackages.patricia, idrisPackages.permutations, idrisPackages.pfds, idrisPackages.pipes, idrisPackages.posix, idrisPackages.protobuf, idrisPackages.rationals, idrisPackages.recursion_schemes, idrisPackages.refined, idrisPackages.sdl, idrisPackages.sdl2, idrisPackages.semidirect, idrisPackages.setoids, idrisPackages.smproc, idrisPackages.snippets, idrisPackages.software_foundations, idrisPackages.specdris, idrisPackages.tap, idrisPackages.test, idrisPackages.tlhydra, idrisPackages.tomladris, idrisPackages.tp, idrisPackages.tparsec, idrisPackages.transducers, idrisPackages.trees, idrisPackages.union_type, idrisPackages.vecspace, idrisPackages.webgl, idrisPackages.wl-pprint, idrisPackages.wyvern, idrisPackages.xhr, idrisPackages.yaml, idrisPackages.yampa No partial log is available. |
Failure on x86_64-darwin (full log) Attempted: idrisPackages.array, idrisPackages.bi, idrisPackages.bifunctors, idrisPackages.bytes, idrisPackages.canvas, idrisPackages.categories, idrisPackages.coda, idrisPackages.config, idrisPackages.comonad, idrisPackages.composition, idrisPackages.containers, idrisPackages.cube, idrisPackages.curses, idrisPackages.data, idrisPackages.derive, idrisPackages.descncrunch, idrisPackages.dict, idrisPackages.electron, idrisPackages.eternal, idrisPackages.farrp, idrisPackages.free, idrisPackages.fsm, idrisPackages.glfw, idrisPackages.graphviz, idrisPackages.hamt, idrisPackages.heyting-algebra, idrisPackages.hezarfen, idrisPackages.http, idrisPackages.http4idris, idrisPackages.iaia, idrisPackages.idrishighlighter, idrisPackages.idrisscript, idrisPackages.ipkgparser, idrisPackages.jheiling-extras, idrisPackages.jheiling-js, idrisPackages.js, idrisPackages.lens, idrisPackages.lightyear, idrisPackages.logic, idrisPackages.mhd, idrisPackages.pacman, idrisPackages.patricia, idrisPackages.permutations, idrisPackages.pfds, idrisPackages.pipes, idrisPackages.posix, idrisPackages.rationals, idrisPackages.recursion_schemes, idrisPackages.refined, idrisPackages.sdl, idrisPackages.sdl2, idrisPackages.semidirect, idrisPackages.setoids, idrisPackages.smproc, idrisPackages.snippets, idrisPackages.software_foundations, idrisPackages.specdris, idrisPackages.tap, idrisPackages.test, idrisPackages.tlhydra, idrisPackages.tomladris, idrisPackages.tp, idrisPackages.tparsec, idrisPackages.transducers, idrisPackages.trees, idrisPackages.union_type, idrisPackages.vecspace, idrisPackages.wl-pprint, idrisPackages.wyvern, idrisPackages.yaml, idrisPackages.yampa The following builds were skipped because they don't evaluate on x86_64-darwin: idrisPackages.console, idrisPackages.dom, idrisPackages.html, idrisPackages.hrtime, idrisPackages.mapping, idrisPackages.protobuf, idrisPackages.webgl, idrisPackages.xhr Partial log (click to expand)
|
cube and vecspace have invalid checksums:
|
Failure on x86_64-linux (full log) Attempted: idrisPackages.array, idrisPackages.bi, idrisPackages.bifunctors, idrisPackages.bytes, idrisPackages.canvas, idrisPackages.categories, idrisPackages.coda, idrisPackages.config, idrisPackages.comonad, idrisPackages.composition, idrisPackages.containers, idrisPackages.cube, idrisPackages.curses, idrisPackages.data, idrisPackages.derive, idrisPackages.descncrunch, idrisPackages.dict, idrisPackages.electron, idrisPackages.eternal, idrisPackages.farrp, idrisPackages.free, idrisPackages.fsm, idrisPackages.glfw, idrisPackages.graphviz, idrisPackages.hamt, idrisPackages.heyting-algebra, idrisPackages.hezarfen, idrisPackages.http, idrisPackages.http4idris, idrisPackages.iaia, idrisPackages.idrishighlighter, idrisPackages.idrisscript, idrisPackages.ipkgparser, idrisPackages.jheiling-extras, idrisPackages.jheiling-js, idrisPackages.js, idrisPackages.lens, idrisPackages.lightyear, idrisPackages.logic, idrisPackages.mhd, idrisPackages.pacman, idrisPackages.patricia, idrisPackages.permutations, idrisPackages.pfds, idrisPackages.pipes, idrisPackages.posix, idrisPackages.rationals, idrisPackages.recursion_schemes, idrisPackages.refined, idrisPackages.sdl, idrisPackages.sdl2, idrisPackages.semidirect, idrisPackages.setoids, idrisPackages.smproc, idrisPackages.snippets, idrisPackages.software_foundations, idrisPackages.specdris, idrisPackages.tap, idrisPackages.test, idrisPackages.tlhydra, idrisPackages.tomladris, idrisPackages.tp, idrisPackages.tparsec, idrisPackages.transducers, idrisPackages.trees, idrisPackages.union_type, idrisPackages.vecspace, idrisPackages.wl-pprint, idrisPackages.wyvern, idrisPackages.yaml, idrisPackages.yampa The following builds were skipped because they don't evaluate on x86_64-linux: idrisPackages.console, idrisPackages.dom, idrisPackages.html, idrisPackages.hrtime, idrisPackages.mapping, idrisPackages.protobuf, idrisPackages.webgl, idrisPackages.xhr Partial log (click to expand)
|
fbbffae
to
57b6090
Compare
I made the list manually, checking each package as I went. Thanks for the heads up, fixed |
57b6090
to
8f58657
Compare
|
Fixed the licenses of skipped packages as well. |
|
Failure on x86_64-darwin (full log) Attempted: idrisPackages.array, idrisPackages.bi, idrisPackages.bifunctors, idrisPackages.bytes, idrisPackages.canvas, idrisPackages.categories, idrisPackages.coda, idrisPackages.config, idrisPackages.comonad, idrisPackages.composition, idrisPackages.console, idrisPackages.containers, idrisPackages.cube, idrisPackages.curses, idrisPackages.data, idrisPackages.derive, idrisPackages.descncrunch, idrisPackages.dict, idrisPackages.dom, idrisPackages.electron, idrisPackages.eternal, idrisPackages.farrp, idrisPackages.free, idrisPackages.fsm, idrisPackages.glfw, idrisPackages.graphviz, idrisPackages.hamt, idrisPackages.html, idrisPackages.heyting-algebra, idrisPackages.hezarfen, idrisPackages.hrtime, idrisPackages.http, idrisPackages.http4idris, idrisPackages.iaia, idrisPackages.idrishighlighter, idrisPackages.idrisscript, idrisPackages.ipkgparser, idrisPackages.jheiling-extras, idrisPackages.jheiling-js, idrisPackages.js, idrisPackages.lens, idrisPackages.lightyear, idrisPackages.logic, idrisPackages.mhd, idrisPackages.pacman, idrisPackages.patricia, idrisPackages.permutations, idrisPackages.pfds, idrisPackages.pipes, idrisPackages.posix, idrisPackages.protobuf, idrisPackages.rationals, idrisPackages.recursion_schemes, idrisPackages.refined, idrisPackages.sdl, idrisPackages.sdl2, idrisPackages.semidirect, idrisPackages.setoids, idrisPackages.smproc, idrisPackages.snippets, idrisPackages.software_foundations, idrisPackages.specdris, idrisPackages.tap, idrisPackages.test, idrisPackages.tlhydra, idrisPackages.tomladris, idrisPackages.tp, idrisPackages.tparsec, idrisPackages.transducers, idrisPackages.trees, idrisPackages.union_type, idrisPackages.vecspace, idrisPackages.webgl, idrisPackages.wl-pprint, idrisPackages.wyvern, idrisPackages.xhr, idrisPackages.yaml, idrisPackages.yampa The following builds were skipped because they don't evaluate on x86_64-darwin: idrisPackages.mapping Partial log (click to expand)
|
No attempt on aarch64-linux The following builds were skipped because they don't evaluate on aarch64-linux: idrisPackages.array, idrisPackages.bi, idrisPackages.bifunctors, idrisPackages.bytes, idrisPackages.canvas, idrisPackages.categories, idrisPackages.coda, idrisPackages.config, idrisPackages.comonad, idrisPackages.composition, idrisPackages.console, idrisPackages.containers, idrisPackages.cube, idrisPackages.curses, idrisPackages.data, idrisPackages.derive, idrisPackages.descncrunch, idrisPackages.dict, idrisPackages.dom, idrisPackages.electron, idrisPackages.eternal, idrisPackages.farrp, idrisPackages.free, idrisPackages.fsm, idrisPackages.glfw, idrisPackages.graphviz, idrisPackages.hamt, idrisPackages.html, idrisPackages.heyting-algebra, idrisPackages.hezarfen, idrisPackages.hrtime, idrisPackages.http, idrisPackages.http4idris, idrisPackages.iaia, idrisPackages.idrishighlighter, idrisPackages.idrisscript, idrisPackages.ipkgparser, idrisPackages.jheiling-extras, idrisPackages.jheiling-js, idrisPackages.js, idrisPackages.lens, idrisPackages.lightyear, idrisPackages.logic, idrisPackages.mapping, idrisPackages.mhd, idrisPackages.pacman, idrisPackages.patricia, idrisPackages.permutations, idrisPackages.pfds, idrisPackages.pipes, idrisPackages.posix, idrisPackages.protobuf, idrisPackages.rationals, idrisPackages.recursion_schemes, idrisPackages.refined, idrisPackages.sdl, idrisPackages.sdl2, idrisPackages.semidirect, idrisPackages.setoids, idrisPackages.smproc, idrisPackages.snippets, idrisPackages.software_foundations, idrisPackages.specdris, idrisPackages.tap, idrisPackages.test, idrisPackages.tlhydra, idrisPackages.tomladris, idrisPackages.tp, idrisPackages.tparsec, idrisPackages.transducers, idrisPackages.trees, idrisPackages.union_type, idrisPackages.vecspace, idrisPackages.webgl, idrisPackages.wl-pprint, idrisPackages.wyvern, idrisPackages.xhr, idrisPackages.yaml, idrisPackages.yampa No partial log is available. |
Failure on x86_64-linux (full log) Attempted: idrisPackages.array, idrisPackages.bi, idrisPackages.bifunctors, idrisPackages.bytes, idrisPackages.canvas, idrisPackages.categories, idrisPackages.coda, idrisPackages.config, idrisPackages.comonad, idrisPackages.composition, idrisPackages.console, idrisPackages.containers, idrisPackages.cube, idrisPackages.curses, idrisPackages.data, idrisPackages.derive, idrisPackages.descncrunch, idrisPackages.dict, idrisPackages.dom, idrisPackages.electron, idrisPackages.eternal, idrisPackages.farrp, idrisPackages.free, idrisPackages.fsm, idrisPackages.glfw, idrisPackages.graphviz, idrisPackages.hamt, idrisPackages.html, idrisPackages.heyting-algebra, idrisPackages.hezarfen, idrisPackages.hrtime, idrisPackages.http, idrisPackages.http4idris, idrisPackages.iaia, idrisPackages.idrishighlighter, idrisPackages.idrisscript, idrisPackages.ipkgparser, idrisPackages.jheiling-extras, idrisPackages.jheiling-js, idrisPackages.js, idrisPackages.lens, idrisPackages.lightyear, idrisPackages.logic, idrisPackages.mhd, idrisPackages.pacman, idrisPackages.patricia, idrisPackages.permutations, idrisPackages.pfds, idrisPackages.pipes, idrisPackages.posix, idrisPackages.protobuf, idrisPackages.rationals, idrisPackages.recursion_schemes, idrisPackages.refined, idrisPackages.sdl, idrisPackages.sdl2, idrisPackages.semidirect, idrisPackages.setoids, idrisPackages.smproc, idrisPackages.snippets, idrisPackages.software_foundations, idrisPackages.specdris, idrisPackages.tap, idrisPackages.test, idrisPackages.tlhydra, idrisPackages.tomladris, idrisPackages.tp, idrisPackages.tparsec, idrisPackages.transducers, idrisPackages.trees, idrisPackages.union_type, idrisPackages.vecspace, idrisPackages.webgl, idrisPackages.wl-pprint, idrisPackages.wyvern, idrisPackages.xhr, idrisPackages.yaml, idrisPackages.yampa The following builds were skipped because they don't evaluate on x86_64-linux: idrisPackages.mapping Partial log (click to expand)
|
8f58657
to
23ee7c9
Compare
I guess I need to upgrade my hivemind uplink for Graham to listen :) |
Hm, |
something like this is needed for ofborg: NixOS/ofborg#138 |
@GrahamcOfBorg build idrisPackages.protobuf |
Protobuf also actually worked for me. |
Failure on x86_64-darwin (full log) Attempted: idrisPackages.protobuf Partial log (click to expand)
|
Idris itself cannot be build on macOS at the moment. So its packages are probably less of a problem. |
No attempt on aarch64-linux The following builds were skipped because they don't evaluate on aarch64-linux: idrisPackages.protobuf No partial log is available. |
Success on x86_64-linux (full log) Attempted: idrisPackages.protobuf Partial log (click to expand)
|
Ok, that's bad news about Idris on macOS, will need to fix that as well:) |
Motivation for this change
There were very few Idris packages. I packaged a bunch of them from https://github.com/xgrommx/idris-ecosystem
Things done
build-use-sandbox
innix.conf
on non-NixOS)nix-shell -p nox --run "nox-review wip"
./result/bin/
)