Received: from mail-ve0-f189.google.com ([209.85.128.189]:33363) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1Vxo2S-0004Uy-U8 for lojban-list-archive@lojban.org; Mon, 30 Dec 2013 17:22:40 -0800 Received: by mail-ve0-f189.google.com with SMTP id jx11sf2886200veb.6 for ; Mon, 30 Dec 2013 17:22:26 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=date:from:to:subject:message-id:mail-followup-to:references :mime-version:in-reply-to:user-agent:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-disposition :content-transfer-encoding; bh=U3xgYdq/tll7LkMuUBoiIoTk5bY2yO/WHiqryjkc3qg=; b=UDuzpRzMrovfqfXi02vwFve6Bs1cLXgsYHPTk5DaYDTH/1lDVnymdieeB9pQGabx/4 i+ttGWMl0YX4RBiv9yHhgnkKD6jobhL/QmXk0/N2IculLc00nyz3VxhM5zFO/DqCECE6 Tn7GiGdmEI7/C6ToEDrV3oVxB8U6fUmVOszWkJthNm0yAGSNXSOQjJq43mdAYDqhJxpc Da9bQWlFxIgmkThbUQ8u16fTsXGcNqk9qIEFKSrs63HZc0QCyX8H1nE0G/lZbJ++dWF+ StwfmdLAXNPtnXXcsxWJQilF4si6BuSY44ADUZZmR3dmeSP8OqbwskgH9UHqLHMmlQHE FCWw== X-Received: by 10.49.88.5 with SMTP id bc5mr827557qeb.4.1388452946577; Mon, 30 Dec 2013 17:22:26 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.49.61.229 with SMTP id t5ls4039913qer.53.gmail; Mon, 30 Dec 2013 17:22:26 -0800 (PST) X-Received: by 10.58.186.202 with SMTP id fm10mr4186301vec.37.1388452946288; Mon, 30 Dec 2013 17:22:26 -0800 (PST) Received: from stodi.digitalkingdom.org (mail.digitalkingdom.org. [173.13.139.236]) by gmr-mx.google.com with ESMTPS id ox2si2963695pbc.1.2013.12.30.17.22.26 for (version=TLSv1.2 cipher=AES128-GCM-SHA256 bits=128/128); Mon, 30 Dec 2013 17:22:26 -0800 (PST) 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; Received: from rlpowell by stodi.digitalkingdom.org with local (Exim 4.80.1) (envelope-from ) id 1Vxo2L-0004Ut-Nc for lojban@googlegroups.com; Mon, 30 Dec 2013 17:22:25 -0800 Date: Mon, 30 Dec 2013 17:22:25 -0800 From: Robin Lee Powell To: lojban@googlegroups.com Subject: Re: [lojban] Re: The CLL project, technical directions Message-ID: <20131231012225.GS15882@stodi.digitalkingdom.org> Mail-Followup-To: lojban@googlegroups.com References: <20131227041501.GA21848@stodi.digitalkingdom.org> <8306dbd5-1789-4def-8b65-810283aa58f5@googlegroups.com> MIME-Version: 1.0 In-Reply-To: <8306dbd5-1789-4def-8b65-810283aa58f5@googlegroups.com> User-Agent: Mutt/1.5.21 (2010-09-15) X-Original-Sender: rlpowell@digitalkingdom.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.236 as permitted sender) smtp.mail=rlpowell@digitalkingdom.org Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=windows-1252 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Spam_score: 0.0 X-Spam_score_int: 0 X-Spam_bar: / On Sun, Dec 29, 2013 at 05:08:28AM -0800, entot wrote: > 2. =93What needs to be streamlined to smoothly fix an issue" >=20 > - If the issue stems from the toolchain itself: a sandbox environment to= =20 > test small code snippets. Probably unit tests, or a very small subset of= =20 > the book that can be built in seconds. I just redid the build system dramatically; the main directory is now much less filled with bullshit. $ ./cll_build -c does exactly what you said; it has all our tags and (unless it needs to re-grab jbovlaste data) builds in seconds on my machine. > 4. "I would better be able to help if..." >=20 > * Shorter build time. I=92ll have to re-check to give an actual > number, but for a full build, it was in the range of tens of > minutes. Shorter build time means less time for distraction. It is, fwiw, *much* faster on the new server, but still tens of minutes. -Robin --=20 http://intelligence.org/ : Our last, best hope for a fantastic future. .i ko na cpedu lo nu stidi vau loi jbopre .i danfu lu na go'i li'u .e lu go'i li'u .i ji'a go'i lu na'e go'i li'u .e lu go'i na'i li'u .e lu no'e go'i li'u .e lu to'e go'i li'u .e lu lo mamta be do cu sofybakni li= 'u --=20 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 e= mail to lojban+unsubscribe@googlegroups.com. To post to this group, send email to lojban@googlegroups.com. Visit this group at http://groups.google.com/group/lojban. For more options, visit https://groups.google.com/groups/opt_out.