Search Criteria
Package Details: ciao-lang 1.25.0.m1-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/ciao-lang.git (read-only, click to copy) |
|---|---|
| Package Base: | ciao-lang |
| Description: | Ciao is a general purpose, multi-paradigm programming language in the Prolog family |
| Upstream URL: | https://github.com/ciao-lang/ciao |
| Licenses: | LGPL-2.1 |
| Submitter: | aarroyoc |
| Maintainer: | aarroyoc |
| Last Packager: | aarroyoc |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2021-07-09 14:16 (UTC) |
| Last Updated: | 2025-08-16 08:55 (UTC) |
Latest Comments
susurri commented on 2023-07-29 06:25 (UTC) (edited on 2023-07-29 06:25 (UTC) by susurri)
Invoking ciao fails with
It may be because the path is embedded in ciaosh and other executables when building with yay.
head -3 /usr/ciao/1.22.0/build/bin/ciaoshshowsenv CIAOROOT=/usr/ciao/1.22.0 ciaoworks for a workaround.jeshan commented on 2023-04-01 18:48 (UTC)
well, it seems to work well with your recent update. Thank you.
aarroyoc commented on 2023-04-01 11:08 (UTC)
I can't reproduce your issues. I updated the package but it seems that both "ciao" and "ciaosh" work fine for me.
jeshan commented on 2023-03-17 15:43 (UTC)
also, the binary /usr/ciao/1.20.0/build/eng/ciaoengine/objs/ciaoengine would give
"{ERROR: segmentation violation} Segmentation fault (core dumped) "
jeshan commented on 2023-03-17 15:40 (UTC)
package seems broken as invoking ciao gives:
"/usr/ciao/1.20.0/build/bin/ciaosh: line 5: /home/user/.cache/yay/ciao-lang/pkg/ciao-lang/usr/ciao/1.20.0/build/eng/ciaoengine/objs/ciaoengine: No such file or directory"