You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I want to build urbi on a debian or ubuntu so I can adapt it for any device I would need to use it. (laptop, raspberry pi, etc..)
What I get
I cannot start the build and cannot find any help. (the suggested help to see must be built first through the latex compilation...) Seems a little tricky to get to a compilation for the newbie.
Steps to reproduce
On Ubuntu 12.04 LTS I do the following:
git clone https://github.com/urbiforge/urbi.git
cd urbi
./bootstrap
Sorry for the long delay in answering! The proper way to recompile is described in the main project page here: https://github.com/urbiforge/urbi
You can access also a precompiled doc in pdf or html format from this page.
I would also recommend trying to run the docker container, as described at the end of the project page: docker run --net host urbiforge/urbi rlwrap nc localhost 54000
admo
pushed a commit
to admo/urbi
that referenced
this issue
Nov 19, 2023
What I expected to see
I want to build urbi on a debian or ubuntu so I can adapt it for any device I would need to use it. (laptop, raspberry pi, etc..)
What I get
I cannot start the build and cannot find any help. (the suggested help to see must be built first through the latex compilation...) Seems a little tricky to get to a compilation for the newbie.
Steps to reproduce
On Ubuntu 12.04 LTS I do the following:
I get:
The text was updated successfully, but these errors were encountered: