Sender: lojban@googlegroups.com
Received-SPF: pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.236 as permitted sender) client-ip=173.13.139.236;
Date: Mon, 20 Feb 2017 01:06:51 -0800
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
To: lojban@googlegroups.com
Subject: [lojban] CLL: Build with Docker.
Message-ID: <20170220090651.GF27971@stodi.digitalkingdom.org>
Mail-Followup-To: lojban@googlegroups.com
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Disposition: inline
User-Agent: Mutt/1.7.1 (2016-10-04)
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -


It has long been an issue that the CLL is hard to build.  This is
much better than it used to be (dropping LaTeX from the toolchain
made a *huge* difference), but it's still pretty finicky.  For
example, increasing the DocBook XSLT version by 1 broke everything.
For another, the exact list of fonts installed in the OS changes the
output dramatically.

It occured to me a couple of weeks ago that we have a solution for
this sort of thing: containers.

So, I have added Docker support to https://github.com/lojban/cll ;
if you use ./run_docker.sh instead of ./cll_build, it should work
the same except that it'll first build a Docker container for you.
This Docker container builds the CLL in a way that matches the
official builds, as far as I can tell, perfectly, except for a few
minor changes that have occured since the last official builds were
checked in.

Further, here's a direct copy of the Docker image if you'd like:

http://vrici.lojban.org/~rlpowell/media/public/cll_build_docker.tar.gz

Hopefully this'll make CLL dev less painful.

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at https://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.