maxima:DebianPackaging-Docker

Last commit made on 2019-06-20
Get this branch:
git clone -b DebianPackaging-Docker https://git.launchpad.net/maxima

Branch merges

Branch information

Name:
DebianPackaging-Docker
Repository:
lp:maxima

Recent commits

9912438... by PeterPall on 2019-06-20

A try to make GCL work: I suspect the dockerfile somehow doesn't use the ANSI version.

7328e0c... by PeterPall on 2019-06-20

Only download the relevant git branch in order to speed up the build: Maxima with all the branches is *big*.

0264aee... by PeterPall on 2019-06-20

Pull the newest build info if the last try to build has failed.

34b1f78... by PeterPall on 2019-06-20

Now we extract the tarball to the directory we expect it to be in.

447c82e... by PeterPall on 2019-06-20

Made the build less verbose.

c4d7975... by PeterPall on 2019-06-20

Nearly works.

573a3dc... by PeterPall on 2019-06-20

A try to make the dockerfile work.

4eba472... by PeterPall on 2019-05-31

For some reason this doesn't compile.

66ec141... by PeterPall on 2019-05-26

More documentation.

c0082b8... by PeterPall on 2019-05-26

Added another dependency to the VM that builds the debian package.