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, 16 May 2016 12:31:02 -0700
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
To: lojban@googlegroups.com
Subject: [lojban] CLL hackers: build script change
Message-ID: <20160516193102.GA24733@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.5.24 (2015-08-30)
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: -

Just FYI, the "foo_web" targets have been dropped, for all foo, to
be replaced with:

    $ ./cll_build -h
    Usage: ./cll_build [-c] [-a <archivedir>] [-A <coverage archivedir>] [-s] [-t] [-T target] [chapters]
    
    -a <archivedir>: Copy the resulting output into the specified directory after building it in /home/rlpowell/lojban/cll/build/
    
    -A <coverage archivedir>: Same as -a but only used in coverage mode; this is to stop your coverage runs from overwriting your normal runs.
    
I think everybody will agree this is better.

Also, the Makefile has been cleaned up considerably.

-- 
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.