ciao-lang/ciao

error after global install on Debian GNU/Linux 9.7 (stretch)

Closed this issue · 6 comments

moabson commented

With system administrator (root) on /root/.ciaoroot/master, i execute:

./ciao-boot.sh unistall
./ciao-boot.sh distclean
./ciao-boot.sh global-install

After 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: stretch

moabson@###:~$ uname -a
Linux #### 4.9.0-8-amd64 #1 SMP Debian 4.9.130-2 (2018-10-27) x86_64 GNU/Linux

moabson commented

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?

moabson commented

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.

jfmc commented

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.

jfmc commented

With system administrator (root) on /root/.ciaoroot/master, i execute:

./ciao-boot.sh unistall
./ciao-boot.sh distclean
./ciao-boot.sh global-install

After 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: stretch

moabson@###:~$ 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?

moabson commented

I installed from source with script "curl https://ciao-lang.org/boot -sSfL | sh -s -- --no-prebuilt get devenv".

jfmc commented

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).