Comments (6)
Can you give me a help how to fix the problem?
After global installation the ciao folder is moabson@###:/usr/local/ciao/1.18.0, the command ciao-env returns:
moabson@###:~$ ciao-env
export PATH="/home/moabson/.ciao/build/bin:/usr/local/ciao/1.18.0/build/bin:/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games"
export MANPATH="/home/moabson/.ciao/build/doc:/usr/local/ciao/1.18.0/build/doc:"
export INFOPATH="/home/moabson/.ciao/build/doc:/usr/local/ciao/1.18.0/build/doc:"
#
# Run this command to setup your environment:
# eval "$(ciao-env --sh)"
This is correct?
from ciao.
Folder .ciao not exist on my home directory, only .ciaoroot i tried create symbolic link, ln -s /usr/local/ciao/1.18.0 .ciao, on my home but not successfully.
from ciao.
Folder .ciao not exist on my home directory, only .ciaoroot i tried create symbolic link, ln -s /usr/local/ciao/1.18.0 .ciao, on my home but not successfully.
The $HOME/.ciao
directory is optional, and reserved for additional bundles. The installation should work with or without that directory.
from ciao.
With system administrator (root) on /root/.ciaoroot/master, i execute:
./ciao-boot.sh unistall
./ciao-boot.sh distclean
./ciao-boot.sh global-installAfter this steps, i log in with local user, executed source ~/.bashrc and ciao on terminal, i get:
{ERROR: No handle found for thrown error error(existence_error(source_sink,engine(term_basic)),absolute_file_name/7-1)}
The local installation works.
moabson@###:~$ lsb_release -a
No LSB modules are available.
Distributor ID: Debian
Description: Debian GNU/Linux 9.7 (stretch)
Release: 9.7
Codename: stretchmoabson@###:~$ uname -a
Linux #### 4.9.0-8-amd64 #1 SMP Debian 4.9.130-2 (2018-10-27) x86_64 GNU/Linux
Are you installing from source code or using a pre-compiled binary?
from ciao.
I installed from source with script "curl https://ciao-lang.org/boot -sSfL | sh -s -- --no-prebuilt get devenv".
from ciao.
Thanks for reporting. There was an issue in global installation and engine/
modules were not copied correctly to the installation directory. It should be fixed now. Please tell us if the problem persists (I'll reopen the issue).
from ciao.
Related Issues (20)
- revisit lists.pl (and other common Prolog modules)
- (playground) pause/1 doesn't give browser time to do something HOT 2
- call_nth/2 (was: (playground) is there a Ciao Prolog equivalent of call_nth/2 ?) HOT 5
- redefine lists.pl (or other modules used in the compiler)
- Clarification request: does Ciao Prolog have a foreach/2 somewhere? HOT 1
- Glitch in Syntax Highlighter of Ciao Prolog Playground HOT 1
- Feature request predicate divmod/4 HOT 9
- Compatibility issue evaluable function (^)/2 missing HOT 3
- profiling not compiling HOT 3
- Failed installation: now/1 is not exported by system HOT 4
- Missing or wrong rounding in (**)/2 HOT 4
- Feature request random/3 that works with bigint
- Rounding glitch from bigint to float HOT 1
- Evaluable function pi/0 missing HOT 2
- Ciao will not compile on GUIX HOT 5
- Termux install dependency missing in doc HOT 1
- Built-in predicate request: function_property/2 HOT 2
- subsumes_term/2 incorrect
- `./ciao-boot.sh global-install` fails when copying files HOT 4
- Symbol’s function definition is void: batch-update-autoloads HOT 2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from ciao.