Compiling Axiom on Debian 9

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
4 messages Options
Reply | Threaded
Open this post in threaded view
|

Compiling Axiom on Debian 9

Shakthi Kannan-5
Hi,

I am trying to build Axiom on Debian 9. The steps are listed in this GitHub issue:

  https://github.com/daly/axiom/issues/14

The following issue mentions use of 13pre.

  https://github.com/daly/axiom/issues/6

1. Can you provide the instructions on building the required 13pre GCL version to get Axiom built on Debian 9?

2. If there is a specific distro on which Axiom builds successfully, please let me know.

3. Are you using http://savannah.nongnu.org/bugs/?group=axiom or https://github.com/daly/axiom to keep track of bugs?

Appreciate your inputs in this regard.

Thanks!

SK
--
Shakthi Kannan
http://www.shakthimaan.com

_______________________________________________
Axiom-developer mailing list
[hidden email]
https://lists.nongnu.org/mailman/listinfo/axiom-developer
Reply | Threaded
Open this post in threaded view
|

Re: Compiling Axiom on Debian 9

Tim Daly
In theory you should just be able to do:
   sudo apt-get install axiom

If that fails, use docker:
   docker pull daly/axiom
   docker run -i -t daly/axiom axiom

The Axiom project is currently focused on proving the
algorithms correct. Great progress is being made but it
is not ready to be open-sourced.

Tim

_______________________________________________
Axiom-developer mailing list
[hidden email]
https://lists.nongnu.org/mailman/listinfo/axiom-developer
Reply | Threaded
Open this post in threaded view
|

Re: Compiling Axiom on Debian 9

Shakthi Kannan-5
Hi Tim,

‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
On Sunday, December 16, 2018 12:06 AM, Tim Daly <[hidden email]> wrote:
| In theory you should just be able to do:
| sudo apt-get install axiom
\--

It will be useful to move all build changes to a distro-agnostic repository, so that other distributions can use the source to build the software.

---
| The Axiom project is currently focused on proving the
| algorithms correct. Great progress is being made but it
| is not ready to be open-sourced.
\--

Thanks!

SK

--
Shakthi Kannan
http://www.shakthimaan.com

_______________________________________________
Axiom-developer mailing list
[hidden email]
https://lists.nongnu.org/mailman/listinfo/axiom-developer
Reply | Threaded
Open this post in threaded view
|

Re: Compiling Axiom on Debian 9

Camm Maguire-2
In reply to this post by Tim Daly
Greetings!

Tim Daly <[hidden email]> writes:

> In theory you should just be able to do:
>    sudo apt-get install axiom
>

Indeed, this works!

Take care,
--
Camm Maguire        [hidden email]
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

_______________________________________________
Axiom-developer mailing list
[hidden email]
https://lists.nongnu.org/mailman/listinfo/axiom-developer