From mboxrd@z Thu Jan 1 00:00:00 1970 From: julien lepiller Subject: Re: [PATCH] build coqide Date: Tue, 13 Dec 2016 11:36:33 +0100 Message-ID: References: <20161212235735.3be04892@lepiller.eu> <20161212201917.75b3baf9@centurylink.net> Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="=_11c264db15c9608b110af3cf7a520182" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:56124) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cGkS1-0004vP-Tr for guix-devel@gnu.org; Tue, 13 Dec 2016 05:36:51 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cGkRy-0008Fk-3m for guix-devel@gnu.org; Tue, 13 Dec 2016 05:36:49 -0500 Received: from dau94-h03-89-91-205-84.dsl.sta.abo.bbox.fr ([89.91.205.84]:58681 helo=skaro.lepiller.eu) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cGkRx-0008EH-IE for guix-devel@gnu.org; Tue, 13 Dec 2016 05:36:46 -0500 Received: from localhost (localhost [127.0.0.1]) by skaro.lepiller.eu (Postfix) with ESMTP id 81C2881171 for ; Tue, 13 Dec 2016 11:36:42 +0100 (CET) Received: from skaro.lepiller.eu ([127.0.0.1]) by localhost (lepiller.eu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id M7RjT9sQibyf for ; Tue, 13 Dec 2016 11:36:34 +0100 (CET) Received: from webmail.lepiller.eu (localhost [127.0.0.1]) by skaro.lepiller.eu (Postfix) with ESMTPA id 3AF4D810C2 for ; Tue, 13 Dec 2016 11:36:34 +0100 (CET) In-Reply-To: <20161212201917.75b3baf9@centurylink.net> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: guix-devel@gnu.org --=_11c264db15c9608b110af3cf7a520182 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: quoted-printable Le 2016-12-13 03:19, Eric Bavier a =C3=A9crit=C2=A0: > On Mon, 12 Dec 2016 23:57:35 +0100 > Julien Lepiller wrote: >=20 >> hi, >>=20 >> here are a few ocaml-related patches. The first one adds a >> native-search-path so ocaml-findlib can find the libraries it >> installs. Next, lablgtk is updated and installed using the recommended >> way, with findlib. Then this new lablgtk is used to build coqide. >=20 >> + "-lablgtkdir" (string-append=20 >> lablgtkdir >> + =20 >> "/lib/ocaml/site-lib/lablgtk2/") >=20 > Is there additional benefit to the ocaml search dir OCAMLPATH? I would > expect coq's build system to be able to find lablgtk from OCAMLPATH > without needing to pass the configure flags. oh ! how could I not see it... OCAMLPATH is already defined differently=20 by the ocaml package... I guess there was an update I didn't see since I=20 wrote these patches (or maybe I'm just blind). Here is a a new version=20 of the patches. I added ocaml-findlib to the native-inputs of coq so its=20 configure script can find lablgtk without the option. and lablgtk=20 doesn't need to be installed in site-lib anymore. Is this correct, or=20 should the library be installed in site-lib, and this directory added to=20 OCAMLPATH? By the way, is there someone working on an ocaml-build-system? >=20 > `~Eric --=_11c264db15c9608b110af3cf7a520182 Content-Transfer-Encoding: base64 Content-Type: text/x-diff; name=0001-gnu-lablgtk-Update-to-2.18.5.patch Content-Disposition: attachment; filename=0001-gnu-lablgtk-Update-to-2.18.5.patch; size=1520 RnJvbSAyYzdlNDNmZmQwZGIxOTM2Mjc1NmZlN2ZhODQ4NDgyYzYxYjI2M2Q2IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBKdWxpZW4gTGVwaWxsZXIgPGp1bGllbkBsZXBpbGxlci5ldT4K RGF0ZTogVHVlLCAxMyBEZWMgMjAxNiAxMToyMTozMyArMDEwMApTdWJqZWN0OiBbUEFUQ0ggMS8z XSBnbnU6IGxhYmxndGs6IFVwZGF0ZSB0byAyLjE4LjUKCiogZ251L3BhY2thZ2VzL29jYW1sLnNj bSAobGFibGd0ayk6IFVwZGF0ZSB0byAyLjE4LjUuCi0tLQogZ251L3BhY2thZ2VzL29jYW1sLnNj bSB8IDcgKysrKy0tLQogMSBmaWxlIGNoYW5nZWQsIDQgaW5zZXJ0aW9ucygrKSwgMyBkZWxldGlv bnMoLSkKCmRpZmYgLS1naXQgYS9nbnUvcGFja2FnZXMvb2NhbWwuc2NtIGIvZ251L3BhY2thZ2Vz L29jYW1sLnNjbQppbmRleCA2MWQ1MTA3Li5iYzlmOGY4IDEwMDY0NAotLS0gYS9nbnUvcGFja2Fn ZXMvb2NhbWwuc2NtCisrKyBiL2dudS9wYWNrYWdlcy9vY2FtbC5zY20KQEAgLTYsNiArNiw3IEBA CiA7OzsgQ29weXJpZ2h0IMKpIDIwMTYgRXJpYyBCYXZpZXIgPGJhdmllckBtZW1iZXIuZnNmLm9y Zz4KIDs7OyBDb3B5cmlnaHQgwqkgMjAxNiBKYW4gTmlldXdlbmh1aXplbiA8amFubmVrZUBnbnUu b3JnPgogOzs7IENvcHlyaWdodCDCqSAyMDE2IEVmcmFpbSBGbGFzaG5lciA8ZWZyYWltQGZsYXNo bmVyLmNvLmlsPgorOzs7IENvcHlyaWdodCDCqSAyMDE2IEp1bGllbiBMZXBpbGxlciA8anVsaWVu QGxlcGlsbGVyLmV1PgogOzs7CiA7OzsgVGhpcyBmaWxlIGlzIHBhcnQgb2YgR05VIEd1aXguCiA7 OzsKQEAgLTQ5MywxNSArNDk0LDE1IEBAIEtudXRo4oCZcyBMUigxKSBwYXJzZXIgY29uc3RydWN0 aW9uIHRlY2huaXF1ZS4iKQogKGRlZmluZS1wdWJsaWMgbGFibGd0awogICAocGFja2FnZQogICAg IChuYW1lICJsYWJsZ3RrIikKLSAgICAodmVyc2lvbiAiMi4xOC4zIikKKyAgICAodmVyc2lvbiAi Mi4xOC41IikKICAgICAoc291cmNlCiAgICAgICAob3JpZ2luCiAgICAgICAgIChtZXRob2QgdXJs LWZldGNoKQogICAgICAgICAgICh1cmkgKHN0cmluZy1hcHBlbmQgImh0dHBzOi8vZm9yZ2Uub2Nh bWxjb3JlLm9yZy9mcnMvZG93bmxvYWQucGhwLyIKLSAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICIxNDc5L2xhYmxndGstMi4xOC4zLnRhci5neiIpKQorICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgIjE2MjcvbGFibGd0ay0yLjE4LjUudGFyLmd6IikpCiAgICAgICAgICAgKHNoYTI1 NgogICAgICAgICAgICAgKGJhc2UzMgotICAgICAgICAgICAgICAiMWJ5Ym4zamFmeGY0Y3gyNXp2 bjhoMnhqOWFnbjF4amJuN2ozeXd4eHF4NmF6N3Jmbm53cCIpKSkpCisgICAgICAgICAgICAgICIw Y3lqNnNmZHZ6eDhodzc1NTNsaGd3YzBrcmxndmx6YTBwaDNkazlnc3h5MDQ3ZG0zd2liIikpKSkK ICAgICAoYnVpbGQtc3lzdGVtIGdudS1idWlsZC1zeXN0ZW0pCiAgICAgKG5hdGl2ZS1pbnB1dHMK ICAgICAgYCgoImNhbWxwNCIgLGNhbWxwNCkKLS0gCjIuNy40Cgo= --=_11c264db15c9608b110af3cf7a520182 Content-Transfer-Encoding: base64 Content-Type: text/x-diff; name=0002-gnu-lablgtk-use-ocamlfind-in-installation.patch Content-Disposition: attachment; filename=0002-gnu-lablgtk-use-ocamlfind-in-installation.patch; size=2167 RnJvbSBlY2I5ZmI2NjljOGM5M2MzNWI3ZWZkMGYxOWI1NTBhOTQyMjM0YWQ2IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBKdWxpZW4gTGVwaWxsZXIgPGp1bGllbkBsZXBpbGxlci5ldT4K RGF0ZTogVHVlLCAxMyBEZWMgMjAxNiAxMToyMTo1MSArMDEwMApTdWJqZWN0OiBbUEFUQ0ggMi8z XSBnbnU6IGxhYmxndGs6IHVzZSBvY2FtbGZpbmQgaW4gaW5zdGFsbGF0aW9uCgoqIGdudS9wYWNr YWdlcy9vY2FtbC5zY20gKGxhYmxndGspOiBVc2Ugb2NhbWxmaW5kIGluIGluc3RhbGxhdGlvbi4K LS0tCiBnbnUvcGFja2FnZXMvb2NhbWwuc2NtIHwgMTAgKysrKysrKy0tLQogMSBmaWxlIGNoYW5n ZWQsIDcgaW5zZXJ0aW9ucygrKSwgMyBkZWxldGlvbnMoLSkKCmRpZmYgLS1naXQgYS9nbnUvcGFj a2FnZXMvb2NhbWwuc2NtIGIvZ251L3BhY2thZ2VzL29jYW1sLnNjbQppbmRleCBiYzlmOGY4Li41 NTVlM2ZkIDEwMDY0NAotLS0gYS9nbnUvcGFja2FnZXMvb2NhbWwuc2NtCisrKyBiL2dudS9wYWNr YWdlcy9vY2FtbC5zY20KQEAgLTUwNyw2ICs1MDcsNyBAQCBLbnV0aOKAmXMgTFIoMSkgcGFyc2Vy IGNvbnN0cnVjdGlvbiB0ZWNobmlxdWUuIikKICAgICAobmF0aXZlLWlucHV0cwogICAgICBgKCgi Y2FtbHA0IiAsY2FtbHA0KQogICAgICAgICgib2NhbWwiICxvY2FtbCkKKyAgICAgICAoImZpbmRs aWIiICxvY2FtbC1maW5kbGliKQogICAgICAgICgicGtnLWNvbmZpZyIgLHBrZy1jb25maWcpKSkK ICAgICA7OyBGSVhNRTogQWRkIGlucHV0cyBndGtnbC0yLjAsIGxpYnBhbmVsYXBwbGV0LTIuMCwg Z3Rrc3BlbGwtMi4wLAogICAgIDs7IGFuZCBndGsrLXF1YXJ0ei0yLjAgb25jZSBhdmFpbGFibGUu CkBAIC01MjEsMjEgKzUyMiwyNCBAQCBLbnV0aOKAmXMgTFIoMSkgcGFyc2VyIGNvbnN0cnVjdGlv biB0ZWNobmlxdWUuIikKICAgICAgYCgjOnRlc3RzPyAjZiA7IG5vIGNoZWNrIHRhcmdldAogCiAg ICAgICAgOzsgb3B0OiBhbHNvIGluc3RhbGwgY214YSBmaWxlcwotICAgICAgICM6bWFrZS1mbGFn cyAobGlzdCAiYWxsIiAib3B0IikKKyAgICAgICAjOm1ha2UtZmxhZ3MgKGxpc3QgImFsbCIgIm9w dCIKKyAgICAgICAgICAgICAgICAgICAgICAgICAgKHN0cmluZy1hcHBlbmQgIkZJTkRMSUJESVI9 IgorICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAoYXNzb2MtcmVmICVv dXRwdXRzICJvdXQiKQorICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAi L2xpYi9vY2FtbCIpKQogICAgICAgIDs7IE9jY2FzaW9uYWxseSB3ZSB3b3VsZCBnZXQgIkVycm9y OiBVbmJvdW5kIG1vZHVsZSBHdGtUaHJlYWQiIHdoZW4KICAgICAgICA7OyBjb21waWxpbmcgJ2d0 a1RoSW5pdC5tbCcsIHdpdGggJ21ha2UgLWonLiAgU28gYnVpbGQgc2VxdWVudGlhbGx5LgogICAg ICAgICM6cGFyYWxsZWwtYnVpbGQ/ICNmCiAKICAgICAgICAjOnBoYXNlcwogICAgICAgICAgKG1v ZGlmeS1waGFzZXMgJXN0YW5kYXJkLXBoYXNlcwotICAgICAgICAgICAocmVwbGFjZSAnaW5zdGFs bAorICAgICAgICAgICAoYWRkLWJlZm9yZSAnaW5zdGFsbCAncHJlcGFyZS1pbnN0YWxsCiAgICAg ICAgICAgICAgKGxhbWJkYSogKCM6a2V5IGlucHV0cyBvdXRwdXRzICM6YWxsb3ctb3RoZXIta2V5 cykKICAgICAgICAgICAgICAgIChsZXQgKChvdXQgKGFzc29jLXJlZiBvdXRwdXRzICJvdXQiKSkK ICAgICAgICAgICAgICAgICAgICAgIChvY2FtbCAoYXNzb2MtcmVmIGlucHV0cyAib2NhbWwiKSkp CiAgICAgICAgICAgICAgICAgIDs7IEluc3RhbGwgaW50byB0aGUgb3V0cHV0IGFuZCBub3QgdGhl IG9jYW1sIGRpcmVjdG9yeS4KKyAgICAgICAgICAgICAgICAgKG1rZGlyLXAgKHN0cmluZy1hcHBl bmQgb3V0ICIvbGliL29jYW1sIikpCiAgICAgICAgICAgICAgICAgIChzdWJzdGl0dXRlKiAiY29u ZmlnLm1ha2UiCiAgICAgICAgICAgICAgICAgICAgKChvY2FtbCkgb3V0KSkKLSAgICAgICAgICAg ICAgICAgKHN5c3RlbSogIm1ha2UiICJvbGQtaW5zdGFsbCIpCiAgICAgICAgICAgICAgICAgICN0 KSkpKSkpCiAgICAgKGhvbWUtcGFnZSAiaHR0cDovL2xhYmxndGsuZm9yZ2Uub2NhbWxjb3JlLm9y Zy8iKQogICAgIChzeW5vcHNpcyAiR1RLKyBiaW5kaW5ncyBmb3IgT0NhbWwiKQotLSAKMi43LjQK Cg== --=_11c264db15c9608b110af3cf7a520182 Content-Transfer-Encoding: base64 Content-Type: text/x-diff; name=0003-gnu-coq-Build-coqide.patch Content-Disposition: attachment; filename=0003-gnu-coq-Build-coqide.patch; size=1273 RnJvbSAzMzBmYTU0MmVlYmVkMDIyYjRlOTlhYmU2OWU1OTNiNWE4ZjVjNGY1IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBKdWxpZW4gTGVwaWxsZXIgPGp1bGllbkBsZXBpbGxlci5ldT4K RGF0ZTogVHVlLCAxMyBEZWMgMjAxNiAxMToyMjowNiArMDEwMApTdWJqZWN0OiBbUEFUQ0ggMy8z XSBnbnU6IGNvcTogQnVpbGQgY29xaWRlCgoqIGdudS9wYWNrYWdlcy9vY2FtbC5zY20gKGNvcSk6 IEJ1aWxkIGNvcWlkZS4KLS0tCiBnbnUvcGFja2FnZXMvb2NhbWwuc2NtIHwgNSArKysrLQogMSBm aWxlIGNoYW5nZWQsIDQgaW5zZXJ0aW9ucygrKSwgMSBkZWxldGlvbigtKQoKZGlmZiAtLWdpdCBh L2dudS9wYWNrYWdlcy9vY2FtbC5zY20gYi9nbnUvcGFja2FnZXMvb2NhbWwuc2NtCmluZGV4IDU1 NWUzZmQuLmM1Nzg0ZGIgMTAwNjQ0Ci0tLSBhL2dudS9wYWNrYWdlcy9vY2FtbC5zY20KKysrIGIv Z251L3BhY2thZ2VzL29jYW1sLnNjbQpAQCAtMzQxLDkgKzM0MSwxMSBAQCB3cml0dGVuIGluIE9i amVjdGl2ZSBDYW1sLiIpCiAgICAgKGJ1aWxkLXN5c3RlbSBnbnUtYnVpbGQtc3lzdGVtKQogICAg IChuYXRpdmUtaW5wdXRzCiAgICAgIGAoKCJ0ZXhsaXZlIiAsdGV4bGl2ZSkKKyAgICAgICAoImZp bmRsaWIiICxvY2FtbC1maW5kbGliKQogICAgICAgICgiaGV2ZWEiICxoZXZlYSkpKQogICAgIChp bnB1dHMKICAgICAgYCgoIm9jYW1sIiAsb2NhbWwpCisgICAgICAgKCJsYWJsZ3RrIiAsbGFibGd0 aykKICAgICAgICAoImNhbWxwNSIgLGNhbWxwNSkpKQogICAgIChhcmd1bWVudHMKICAgICAgYCgj OnBoYXNlcwpAQCAtMzU2LDcgKzM1OCw4IEBAIHdyaXR0ZW4gaW4gT2JqZWN0aXZlIENhbWwuIikK ICAgICAgICAgICAgICAgICh6ZXJvPyAoc3lzdGVtKiAiLi9jb25maWd1cmUiCiAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgIi1wcmVmaXgiIG91dAogICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICItbWFuZGlyIiBtYW5kaXIKLSAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAiLWJyb3dzZXIiIGJyb3dzZXIpKSkpKQorICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICItYnJvd3NlciIgYnJvd3NlcgorICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICItY29x aWRlIiAib3B0IikpKSkpCiAgICAgICAgICAocmVwbGFjZSAnYnVpbGQKICAgICAgICAgICAgKGxh bWJkYSBfCiAgICAgICAgICAgICAgKHplcm8/IChzeXN0ZW0qICJtYWtlIiAiLWoiIChudW1iZXIt PnN0cmluZwotLSAKMi43LjQKCg== --=_11c264db15c9608b110af3cf7a520182--