search

MRPT / mrpt

:zap: The Mobile Robot Programming Toolkit (MRPT)
https://docs.mrpt.org/reference/latest/
BSD 3-Clause "New" or "Revised" License
1.94k stars 630 forks source link

GitPod is a cloud Dev environment #1129

Closed jolting closed 3 years ago

jolting commented 3 years ago

Changed apps/libraries

Add gitpod configuration

PR Description

Basically VS code in the browser. It provides some free time on a container-based build machine. Uses mrpt/mrpt-build-env:full-focal container image.

I acknowledge to have:

(Notify: @MRPT/owners )

jolting commented 3 years ago

The free setup gave me 16-cores. :-)

jlblancoc commented 3 years ago

Awesome!! :-)

Can we also add eigen3? Is the goal having the library pre-compiled, or should one log-in and start building/editing from the terminal (as I just tried to do a moment ago)?

jolting commented 3 years ago

Can we also add eigen3?

libeigen3-dev is already installed in mrpt/mrpt-build-env:full-focal

Is the goal having the library pre-compiled,

No, although it does support a snapshot feature.

or should one log-in and start building/editing from the terminal (as I just tried to do a moment ago)?

Yeah basically. A dev environment with VS Code with plugins as well as the ability to collaborate with other users.

jlblancoc commented 3 years ago

libeigen3-dev is already installed in mrpt/mrpt-build-env:full-focal

Oh! I guess I tried and since your PR was not merged yet, it wasn't using the custom docker image, right? So bad I didn't realize XD

@jolting Can you understand why this PR is breaking CircleCI runs?? example

I'll take a leap of faith and merge anyway...

jolting commented 3 years ago

I was able to do a complete build in my repo. With gitpod.

I can check CCI