From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 37A2E7FBC5 for ; Sun, 11 Jan 2015 00:36:54 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kennethadammiller@gmail.com) identity=pra; client-ip=209.85.214.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kennethadammiller@gmail.com designates 209.85.214.181 as permitted sender) identity=mailfrom; client-ip=209.85.214.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f181.google.com) identity=helo; client-ip=209.85.214.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="postmaster@mail-ob0-f181.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqMBAOy2sVTRVda1nGdsb2JhbABbg1hYBIMBwwuFcQJ/B0MBAQEBAREBAQEBAQYNCQkULoQNAQEEEhEdARseAwwGBQQBBg0qAgIhAQERAQUBHAYTIod1AQMRDaoFPjGLLoFrgneKDgoZJw1UgwYBAQEBBgEBAQEBFwEBBA6NQYImC4JogUEFiWWIHYQEgUSMF4QXEiOBDAmELiAxAYJCAQEB X-IPAS-Result: AqMBAOy2sVTRVda1nGdsb2JhbABbg1hYBIMBwwuFcQJ/B0MBAQEBAREBAQEBAQYNCQkULoQNAQEEEhEdARseAwwGBQQBBg0qAgIhAQERAQUBHAYTIod1AQMRDaoFPjGLLoFrgneKDgoZJw1UgwYBAQEBBgEBAQEBFwEBBA6NQYImC4JogUEFiWWIHYQEgUSMF4QXEiOBDAmELiAxAYJCAQEB X-IronPort-AV: E=Sophos;i="5.07,737,1413237600"; d="scan'208";a="95976510" Received: from mail-ob0-f181.google.com ([209.85.214.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Jan 2015 00:36:53 +0100 Received: by mail-ob0-f181.google.com with SMTP id gq1so17952656obb.12 for ; Sat, 10 Jan 2015 15:36:52 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; bh=Rt/GlgGua69gJO3grhwD8m3To3oH6xkx0pje92zjo0s=; b=gnQ8waSzjpARvMFbLe98J/YrSvVMVGmLER6MpkuY4mCXb2LgUvPUhqivLuV1CVKTyV 9oLOvYA4foJWu1GZJXQQdENZXxmaz9U8sPLvGXfPeDkEFgl28xUnOPD8ydXtAqa/rof/ UB6DTbeMGBSjAnFS+JZENN11h32MDDXBtPY2o3jt0t4BF8UJJHn7QNcHswNDyIcqA3Zy cCCKvd8nl6Xc+FvYi2G039d/X3FGDyfWhO1hUlVeQtG5FDOF6rOrnqCRHhJgFqvcN8xs VQEAocBekuc4x/0qR+5jWGAtZ1TkI6k0XfKq7U50SH7MP4kUX8hQ73Ky5taT+Vj53zFh xUcQ== MIME-Version: 1.0 X-Received: by 10.202.174.198 with SMTP id x189mr12751644oie.78.1420933012005; Sat, 10 Jan 2015 15:36:52 -0800 (PST) Received: by 10.182.80.3 with HTTP; Sat, 10 Jan 2015 15:36:51 -0800 (PST) In-Reply-To: References: <179a7ef93afed958daa2c024a5a1bb2f@whitequark.org> Date: Sat, 10 Jan 2015 18:36:51 -0500 Message-ID: From: Kenneth Adam Miller To: caml users Content-Type: multipart/alternative; boundary=001a113ce8e46e2fe1050c54bfd8 Subject: Re: [Caml-list] Ocaml programmers interested in human-level AI --001a113ce8e46e2fe1050c54bfd8 Content-Type: text/plain; charset=UTF-8 What if we just used something like C++'s CMake (MPC, if you are unfamiliar), that will just *generate* the appropriate build scripts for whatever build tools you want? This would solve the windows problem and work with any other tools. On Sat, Jan 10, 2015 at 6:33 PM, Benjamin Greenman wrote: > > On Sat, Jan 10, 2015 at 1:44 PM, Kenneth Adam Miller < > kennethadammiller@gmail.com> wrote: > >> What's wrong with oasis and it's build system? > > > https://sympa.inria.fr/sympa/arc/caml-list/2014-09/msg00132.html > --001a113ce8e46e2fe1050c54bfd8 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
What if we just used something like C++'s CMake (MPC, = if you are unfamiliar), that will just *generate* the appropriate build scr= ipts for whatever build tools you want? This would solve the windows proble= m and work with any other tools.

On Sat, Jan 10, 2015 at 6:33 PM, Benjamin Greenman <b= lg59@cornell.edu> wrote:

On Sat, Jan 10, 2015 at 1:44 PM, Kenneth Adam Miller <kennethadammiller@gmail.com> wrote:
What's wrong with oasis and it's build syst= em?

https://sympa.inria.fr= /sympa/arc/caml-list/2014-09/msg00132.html

--001a113ce8e46e2fe1050c54bfd8--