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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 427077FDDA for ; Sat, 28 May 2016 01:22:45 +0200 (CEST) IronPort-PHdr: 9a23:nI7KwBNPe9RfFdlL1cIl6mtUPXoX/o7sNwtQ0KIMzox0KPTyrarrMEGX3/hxlliBBdydsKIVzbaH+Pm9EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35Xxi7H5osCbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskzkSQKBrlsRSGQQnVIcBAzM4jnzU4//tia8uucriweAOsijZrAuWC++6L9rRVfUkiAKLCI9/Xuf3udwlqNAvBW5pxE5/5TTbZqJMPdkVr7YetUBA2NKGMxcAX8SSrigZpcCWrJSdd1TqJPw8h5X9UOz Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Christophe.Troestler@umons.ac.be; spf=Pass smtp.mailfrom=Christophe.TROESTLER@umons.ac.be; spf=Pass smtp.helo=postmaster@emea01-am1-obe.outbound.protection.outlook.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Christophe.Troestler@umons.ac.be) identity=pra; client-ip=157.56.112.92; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Christophe.TROESTLER@umons.ac.be"; x-sender="Christophe.Troestler@umons.ac.be"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of Christophe.TROESTLER@umons.ac.be designates 157.56.112.92 as permitted sender) identity=mailfrom; client-ip=157.56.112.92; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Christophe.TROESTLER@umons.ac.be"; x-sender="Christophe.TROESTLER@umons.ac.be"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@emea01-am1-obe.outbound.protection.outlook.com designates 157.56.112.92 as permitted sender) identity=helo; client-ip=157.56.112.92; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Christophe.TROESTLER@umons.ac.be"; x-sender="postmaster@emea01-am1-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C3AgBw1khXelxwOJ1bgw11DU8HJwaDPbQqhBYihW8CgW8QAQEBAQEBAQERAQEJCwsJHzGCLoIVAQEBAwESARAPAQUbJhALGAICBSECAg8BNxAGDieIBQgBAwqjbgGBJwEcYQUoAopsAQFmjVWDWwEBAQcBAQEBAQEBIIEBhSaETIdAglkBBJg3hgCKV4Z8hWmPTDeEGmyJCX8BAQE X-IPAS-Result: A0C3AgBw1khXelxwOJ1bgw11DU8HJwaDPbQqhBYihW8CgW8QAQEBAQEBAQERAQEJCwsJHzGCLoIVAQEBAwESARAPAQUbJhALGAICBSECAg8BNxAGDieIBQgBAwqjbgGBJwEcYQUoAopsAQFmjVWDWwEBAQcBAQEBAQEBIIEBhSaETIdAglkBBJg3hgCKV4Z8hWmPTDeEGmyJCX8BAQE X-IronPort-AV: E=Sophos;i="5.26,376,1459807200"; d="scan'";a="220071781" Received: from mail-am1on0092.outbound.protection.outlook.com (HELO emea01-am1-obe.outbound.protection.outlook.com) ([157.56.112.92]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA256; 28 May 2016 01:22:13 +0200 Received: from AM3PR05CA006.eurprd05.prod.outlook.com (10.141.192.16) by AMXPR05MB0632.eurprd05.prod.outlook.com (10.242.10.154) with Microsoft SMTP Server (TLS) id 15.1.497.12; Fri, 27 May 2016 23:22:12 +0000 Received: from DB3FFO11FD022.protection.gbl (2a01:111:f400:7e04::184) by AM3PR05CA006.outlook.office365.com (2a01:111:e400:882a::16) with Microsoft SMTP Server (TLS) id 15.1.506.9 via Frontend Transport; Fri, 27 May 2016 23:22:06 +0000 Received: from smtp.umons.ac.be (193.190.208.132) by DB3FFO11FD022.mail.protection.outlook.com (10.47.217.53) with Microsoft SMTP Server (TLS) id 15.1.497.8 via Frontend Transport; Fri, 27 May 2016 23:22:06 +0000 Received: from poincare3 (10.104.2.63) by smtp.umons.ac.be (10.104.2.84) with Microsoft SMTP Server (TLS) id 14.3.294.0; Sat, 28 May 2016 01:22:05 +0200 Received: from localhost ([::1] helo=poincare3.umons.ac.be.umons.ac.be) by poincare3 with esmtp (Exim 4.87) (envelope-from ) id 1b6R4s-00057d-Sb; Sat, 28 May 2016 01:22:02 +0200 References: <20160526201110.GA14443@aepfle.de> <87twhkk035.fsf@poincare3.umons.ac.be> <20160527081429.GA18793@gmail.com> User-agent: mu4e 0.9.17; emacs 24.5.1 From: Christophe Troestler To: Olaf Hering CC: In-Reply-To: <20160527081429.GA18793@gmail.com> Date: Sat, 28 May 2016 01:22:02 +0200 Message-ID: <87h9djf5np.fsf@poincare3.umons.ac.be> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 8bit X-Originating-IP: [10.104.2.63] X-EOPAttributedMessage: 0 X-Matching-Connectors: 131088649263150506;(9b551343-d075-4328-d154-08d0574c44b8,aa519c6d-c5b7-417d-4ec3-08d1170c20a9);(9b551343-d075-4328-d154-08d0574c44b8,aa519c6d-c5b7-417d-4ec3-08d1170c20a9) X-Forefront-Antispam-Report: CIP:193.190.208.132;IPV:NLI;CTRY:BE;EFV:NLI;SFV:NSPM;SFS:(10009020)(6009001)(2980300002)(438002)(24454002)(51444003)(199003)(377424004)(189002)(586003)(4960100001)(4001350100001)(5008740100001)(2906002)(8936002)(16796002)(23676002)(54356999)(47776003)(76176999)(15975445007)(5003600100002)(3846002)(92566002)(110136002)(87936001)(5001970100001)(2950100001)(11100500001)(86362001)(33646002)(5004730100002)(6116002)(57986006)(50986999)(83506001)(189998001)(6806005)(2870700001)(50466002)(1220700001)(4326007)(106466001)(74482002)(19580395003)(8676002)(9786002)(76506005)(50929005)(5001870100001);DIR:OUT;SFP:1101;SCL:1;SRVR:AMXPR05MB0632;H:smtp.umons.ac.be;FPR:;SPF:Pass;MLV:nov;PTR:imap.umons.ac.be,pop.umons.ac.be,smtp.umons.ac.be;A:0;MX:1;LANG:en; X-Microsoft-Exchange-Diagnostics: 1;DB3FFO11FD022;1:MmIzkBPFCP9oKKtDtTiZL20nTjmefC1wBKdvpB6JpL+3YlOZSGou8YBhuDdd0aVNki0aTNfWLZriUdvhO1j8k2eJTgOlEyS2DFTTarxafOXX8BYJRcgraxu7YaNlO5wNfm3qtj0ynIJG1cL5bCW+dsaHYAvWuN+le7+dYYa89FjJikY2Fv9A9WaNtbknfcIs8UL3W0kd15YCqIm0xr1gRWEBRyv/+kMmXsm9nRbehj0OebZaDhf+2l1UW8mTzwgOPBjH/ASdti39v251ep3wA7bXFxvV+5nuSOW8vLDT0BjxkVyrReorhyVdSfuwnzSvNnPAuMAwvMXOiRKoDEItcowzx1WxwhsDg4bgsKtZniMmmicvozRfIf9fqmv41Wa36ft/RaawdyVaKs1u+LdQpvA5AmSNEYOIpDvuxd79NBQ2MhNDXMpgqbMpfE3CkIr0ovL46w1BRKUDco7O5V1nXHw97627DhN5I72Vc3kXQJQx6DLKiQWNBxS0kkfIy+8IXEp2nEg33zyCtZzEBUG3QF8B510lBZv/n125B42+M55RPXhXuAEKQ2/xU95Fimpa X-MS-Office365-Filtering-Correlation-Id: 733d7c0e-05cd-4e7d-75aa-08d38685b7e1 X-Microsoft-Exchange-Diagnostics: 1;AMXPR05MB0632;2:bBrxNouCAXH6+CZ0uxtitvtr5OrD9tpfbDfAB4QIQgNo7h9w33Gs6rWm4iJ0OYk25gETj/aEMvTy6+nFnCrA/o7BTdgOFOrrL1Q7dv+mM7DGIuLf2BH3wItT/GenSGfUW1AWQ01M6ipe4XmAnEW1is6Ap4vFjv2qNnF9gqntkVlcIPv+TVQ0mEdDXVw7l3eC;3:pMy9Km4TuSb5EvI8keGUQ8aza48i6/sfBxh1gFLAEe40Flv2K7DOi2raAnn9y4mI9VseUNaOmj9Oz/hXVyWIXd7BR+okJbZ566ZLRy6hFFrHju/ASycx0Rmd6BXt6jHK6D0+EQQfi3GULZfb0t4AszKrUfojakuooO7VxowaJE6KkcdCjOyhwQQ+5cFR7HT74Wb1iQHGb4o6J5qw6fORDO7StKP1QM1KmxHG2lWbWbdxBpH4OiBIs4/7IUyA38LaULWIPGLlvIhPqhlC1ViIjw== X-Microsoft-Antispam: UriScan:;BCL:0;PCL:0;RULEID:(8251501002);SRVR:AMXPR05MB0632; X-Microsoft-Exchange-Diagnostics: 1;AMXPR05MB0632;25:JrYWWacUXM+3ubawtihghxvdaipyFA9Axe9CDXLjpcRYPNBIl4Ow0vhHysXjoBw8Hg2/GqwdWCpeYlIVwLfMzkxPMmd8FDEivJEyjCi7ldmplXsE2gBdJ3KiQgU9pDz5DO6aHAeWZaRn8w6ymIW2PBre2BmX+RpCFCn2t/2iUf+GBT69a1CKsZiDP+6DQEkoClmNwPvE1N3FKYK8Y6oixZSys8gLyZncyhNUYH3I0XlEgcxxW6U5w1Suc3qNOXKAOWWixFiW+QDJfUj7CVz23/6OGn1qRSSFx7zd9uwra5ngnDzzOTX3WTyHj8O4sVxUaCmB+4gVD7LdPYEQEAalSiU1XlzRHyIcgcrbx8zQ9nk2MMLegWDyNrCkfjNfZ4Qw1maN5Zp6hng6FJW/fc3KMdOVlXnjRy/RXBWKlI+NI+ghPCcdlogOzLXKDm4xTo55HcmLU6rpG0NeiAGk6h0uu5LNxaycZi9yP7qD1ybNjuz39BaTSqDKvbf4XcwQjspeovQDpSknEpxpAmnkIdISGWJsarVMpmBba7PnG4vXOKU43cc5aKYGQgA57c63mSEqACsNoaOUbEvlYECfBd28M35k6f3kk1ueSqqSgpJy7iFiKEoEaNJ02aV2o50u/Uap4F7IqfLjJowNE/ebjZaBKVlZcjz8fbrUsDABsaoeWe9LrDe86E/eW0tATHSZ4pDaE1RwU4+zQJ+Mpe9S629BRCtFQbEAYKbcSlBlS/44WNjjHavN+/ZHCp4GgIY+MmK/nZnfmmGClac6ggwKep7VHb0z6XLcNhaosNwGZ/1lge2YUT0+gv2jxuVBjtIaB4fRBB0znGuE+tl5+j216hHmcGmZJynQ7gw8c5ZCbtlLnbIaGDyHLKhwBM8rViH0idQoWKPSH7KiN662B1oDr/X8Og== X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:(166708455590820)(143854207707926); X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(601004)(2401047)(13015025)(8121501046)(13023025)(13017025)(13018025)(13024025)(5005006)(10201501046)(3002001)(6055026)(2002001);SRVR:AMXPR05MB0632;BCL:0;PCL:0;RULEID:(400006);SRVR:AMXPR05MB0632; X-Microsoft-Exchange-Diagnostics: 1;AMXPR05MB0632;4:fQ2fIBVnGMaovuIjkURWHEyuhY0Bl64+hrJ8ifpdyifZOdGCweCHuqlyGflCRsqUHuKfY55TQMtJwg481NYDmmXyiCTsoGqyIq1xmGoCPlkeGo8vxTEzVkj/NraDBl6QNv+x9tFAQqr/ux5hZ3imKOFq+JvZaTzEjgmaCylNNWBrPVExi3qG/0K3Km+aWtLzvY+mQO+6ONKwIiACxCCsIK5Q5WXDa3TKqsMYCy9IXEGvxj6gj0b0A1sQGrQUstH/s35O/cU6xJUlcWW4eNtFTlR33O/X1eI4VGKppd8ZoEUjVdyxpGPfu3PKy/KMpcqeJEv9Vg4NQJ8nOWT3Xwf5hPmaFOTxMj14eXfQnSwqKCjfnq7PU60911IalqeIl/qeKm8Lb4iuQW3V1frYWjBPeVkuFefcb+PSnoekf2ajg28nlz8pWFhstSgSyv3MgybZS096lbr0eVjeN1tXIO0kMmvtZc5q/cAoFVdqcjDnG8GGRfxqExWdZNXRr4DF4F/yVyegmOo/+awyWxb6aAvZDeIv8Kof3WrBkz3PQSxjYWFxy9dPSlEyce50ie6EmdRy X-Forefront-PRVS: 09555FB1AD X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtBTVhQUjA1TUIwNjMyOzIzOng5emM3cTU3Q0h6dnhNRWJlVmUzR3FzSXVw?= =?utf-8?B?SnBFVWhHRVVNWlUrSVJoelQ1akF3MDZRTlZRY1dIZWV3dzQvaG5XOFdPWFdW?= =?utf-8?B?eWIzTW5KVHgrZnROY2dpYjU5bjNCYXd1QmNzaGNFM0NMY3MwazhmQkIrcHNF?= =?utf-8?B?MmFQclZQUThUVHlQK3crOGJwVE10UkphWnpHalE4K2M1dWNFQzMvT1pFYzE3?= =?utf-8?B?Z3U2S3JWRHI3a3pCZkRMa0Vma2FDMXU0cGVzN0xPUTUrLzBoRm9qNU0xaDd2?= =?utf-8?B?aE5GWlJaZCtwZU12NXU1Y3FZSmpSd1pxWnBaQ3RiOFRkckFSbDdpcU9iTEQw?= =?utf-8?B?Z255c1NWVFJ5SS9kbm5JbWtHWXR2WVdBMUJpcTI0TTd1M0xTa0ozR2xJVXYx?= =?utf-8?B?K08zVGtLNVVHMi9LQWVmSDhhQUJrNytpbUZJN21JYUZyQ1FDdDhCVVI5dHFs?= =?utf-8?B?TlZESHZUNG9PZWF0T05Sa0RVVGlpYzZzaU5MNFpXV2RTLzhCbXhzblFjYVQ1?= =?utf-8?B?NVJDc295MXg3TlZtTEZJWXc0RjhFSzR2MktadEFjZTFsY1c4MjZmOVlIOXVJ?= =?utf-8?B?OWxmZEkyRzE0clphbjk5QUcrUENNbi81dFB4dU5hVHQ4OElPcHVmN0hyUzFy?= =?utf-8?B?YVdDYWk2aFAwcUgxSkRLdTBGTi9raVpJMzd6SlB0N0RlUWdCeW55aVpqUTho?= =?utf-8?B?cVNKKzU5aUVsZUxLYnFKRDRmeElhTXAzRW91bXE4K2h4aFA2MjM2MHVUZUNu?= =?utf-8?B?RzNYSFB5SHVmYlJ2aEUxUHh6L1g4bkRYem5DT3FVdGFQZ2xLMlpMYnZaZ1NL?= =?utf-8?B?eGJuc1lQaks3SGkva0hnbjNraUx4M3R2Y3pWczlvRTVrak5PZ0YxTzhJZDJt?= =?utf-8?B?NVZzV1ErSW53eDlWZEpxSnl4OVRjRUVXVWZlcTczM2lUZ3VXeWg5QXo2NzRQ?= =?utf-8?B?SWhWRkFMRm4xeU5KRXNCQkJTT2JBTTV3MDZDN0FtZXVYQjYzaFJkVmZlc3Fl?= =?utf-8?B?ZGgvbS81Y2pGL2hDd0p5TlFtODJjMVhmMWxVTEw1WlNCcnRZQkJuMnBuMUZz?= =?utf-8?B?eDBzY0RiSzVFZU55L3NRMFlhbGhSWTZSVXRIeVhJZ1k3RlJuZGpnTDhlTDMv?= =?utf-8?B?cDlPbWpJNVZoNmVsVGV6ZzJXNCttR3huQVFtL0FsNG5pSkVjbzZzbkFObHI3?= =?utf-8?B?SnB6ajMxZmtSbHZuY0wvK05Ydk5TcHprUW9BMWxRaUFmS0tqY3NIR200S2tx?= =?utf-8?B?SmlWVVNxazJvZzI4czFHb1Z3Y1h6TjhUeE9GSVE4SkxrUk5uOWttY3paakEw?= =?utf-8?B?bTFRd2M5MVpyMUhxaWlGUTVEeklKcnZPSWdIOXFxVDY3elRMdXNvUU9tdlBQ?= =?utf-8?B?dTZtRnArVmY5Ryt3Z3RoQ2pxaTRJS3FqdlJxQUFmK1lTU2RQRUVnRDVzMVZO?= =?utf-8?B?QzlGSytnMlFnU3l3NUNxUW4zOE9KdlRVOWZaRjJjazI3VnBUbVVzcTFNSktZ?= =?utf-8?B?UXBhVG9lSFdpeWNVMzBlM3g4K3JTQ1dJeDZwV0JDRkE5WFZMblJtem9yeS82?= =?utf-8?B?T1l6SFRQZkpBT0M1STU1STd2QzIyc0xWNWh1dUlsUHgwMWk4TU4xWkxaN3M5?= =?utf-8?B?aDVyWDhja1JjejFHZGk5NzJCUWoyRjZra3JTZ3daOXprM1U2QjhFa05CT0xW?= =?utf-8?B?eTA5dEkvOHZGUStMdXJZdVAzeFdpV3Z0VTMvVG9VVm1jNmNtd3BzcHZaWW1m?= =?utf-8?B?M0o2QWhOaFYySm9YaXdtUT09?= X-Microsoft-Exchange-Diagnostics: 1;AMXPR05MB0632;5:a5fsBN1Ybvk0WAB2NDsFEwji7EGykdHc4kRQrXkclk9EIvd4BTMdckmaJhUg5EmyaxFlQm82Sji1+IF4boIBLeKr+3rI6RdoGaHlpvgdXfC71F8WOa8L7D2w++WBSZ05f7QfoGySH4raSscedP4kHH3DfKZY8P2NJAhI+zDbYWE=;24:1qQS1H1Bj/XImMr/k+xrJe8i+XNMyi7ke+VqCHbr8XV5cvxFAchYDjGpgLc4T90InSISW5vMkYhNMe/anS43NuULSP6WK+ZIE5ZuKqdvzPE=;7:4LBcYQH7hqKJ8vYOFMqgjecvw129RUrfW02o26+hVzykchPIB1zOFAZUkLqQ6/It7Pgo/+01wV+fquaBAzXBmZvcck/rUW81xDV31grIZ7B8HUlzA91Io0ShvV6Hz5brGHgGB2xwldXHpOyqK9039L4ot5AVSCromt93BPUc2Ufx+uPJsh2VpFKOQz0mITB2 SpamDiagnosticOutput: 1:23 SpamDiagnosticMetadata: NSPM X-MS-Exchange-CrossTenant-OriginalArrivalTime: 27 May 2016 23:22:06.0498 (UTC) X-MS-Exchange-CrossTenant-Id: 5afe0b00-7697-4969-b663-5eab37d5f47e X-MS-Exchange-CrossTenant-OriginalAttributedTenantConnectingIp: TenantId=5afe0b00-7697-4969-b663-5eab37d5f47e;Ip=[193.190.208.132];Helo=[smtp.umons.ac.be] X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: AMXPR05MB0632 Subject: Re: [Caml-list] OASIS help: link stublib to system lib and another caml lib On 2016-05-27, Olaf Hering wrote: > > On Thu, May 26, Christophe Troestler wrote: > > > "-lfuse" is needed because it is the library you bind to but > > "-L/usr/lib64/ocaml -lcamlidl" should be handled by "camlidl" > > (specifically > > by `ocamlfind query camlidl`/com.cma). > > Are you saying that something should automatically generate and pass > the > -L option to the compiler with the provided _oasis file? For me > nothing > like that happens if I add just '-lfuse -lcamlidl' to CcOpt: > execve("/usr/bin/gcc", ["gcc", "-shared", "-o", > "lib/dllFuse_stubs.so", > "lib/Fuse_util.o", "lib/Unix_util_stubs.o", > "lib/Fuse_bindings_stubs.o", > "-lfuse", "-lcamlidl"] > > For the time being my workaround is to use '-L/usr/lib64/ocaml > -L/usr/lib/ocaml' which appearently fixes 32 and 64bit builds. > > To me it looks like "OCamlbuild additional flags:" needs to be set. > Is there a way to pass this via 'ocaml setup.ml -configure'? You wan only pass static options via _oasis. If you can get the path to camlidl — which the camlidl library should provide, try "ocamlfind query camlidl" — then you can use the trick below to pass it to ocamlbuild and set appropriate flags. > > https://github.com/Chris00/ocaml-odepack/blob/master/setup.ml#L68 > > I think thats a very bad advice. Are you suggesting to ignore the 'DO > NOT EDIT' of each generated setup.ml? Being able to regenerate the > files required for building from scratch is essential. The edits are *outside* the OASIS section so are preserved upon regeneration — this is the purpose of the delimiters, this not bad advice at all! :-) Best, C.