From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <3JD2dUAkJCZ0DFIALObefDJ7FI.9LJ97JI-IFPQFKOF7.CO@trix.bounces.google.com> X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 746C57F1C9 for ; Fri, 9 Nov 2012 18:28:06 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gildor478@gmail.com) identity=pra; client-ip=209.85.212.70; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="3JD2dUAkJCZ0DFIALObefDJ7FI.9LJ97JI-IFPQFKOF7.CO@trix.bounces.google.com"; x-sender="gildor478@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of 3JD2dUAkJCZ0DFIALObefDJ7FI.9LJ97JI-IFPQFKOF7.CO@trix.bounces.google.com designates 209.85.212.70 as permitted sender) identity=mailfrom; client-ip=209.85.212.70; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="3JD2dUAkJCZ0DFIALObefDJ7FI.9LJ97JI-IFPQFKOF7.CO@trix.bounces.google.com"; x-sender="3JD2dUAkJCZ0DFIALObefDJ7FI.9LJ97JI-IFPQFKOF7.CO@trix.bounces.google.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vb0-f70.google.com) identity=helo; client-ip=209.85.212.70; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="3JD2dUAkJCZ0DFIALObefDJ7FI.9LJ97JI-IFPQFKOF7.CO@trix.bounces.google.com"; x-sender="postmaster@mail-vb0-f70.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsMLAIk8nVDRVdRGdmdsb2JhbABEsU4BiQYBiGQIIwEMCQwIEgYjgwGBIREBBQGILAEEDgucNIJvjDKHdAoZgQ2EbIQPjzeDJwOSSgODLoEcjUY/hBE X-IronPort-AV: E=Sophos;i="4.80,746,1344204000"; d="scan'208,217";a="161961243" Received: from mail-vb0-f70.google.com ([209.85.212.70]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Nov 2012 18:28:05 +0100 Received: by mail-vb0-f70.google.com with SMTP id fo1so6437734vbb.9 for ; Fri, 09 Nov 2012 09:28:04 -0800 (PST) MIME-Version: 1.0 Received: by 10.236.121.148 with SMTP id r20mr8132437yhh.9.1352482083999; Fri, 09 Nov 2012 09:28:03 -0800 (PST) Message-ID: <20cf301af4932e938004ce13462e@google.com> Date: Fri, 09 Nov 2012 17:28:04 +0000 From: gildor478@gmail.com To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=20cf301af4932e937504ce13462b X-Validation-by: sylvain@le-gall.net Subject: [Caml-list] OASIS, package managers and misc. poll --20cf301af4932e937504ce13462b Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes If you have trouble viewing or submitting this form, you can fill it out online: https://docs.google.com/spreadsheet/viewform?fromEmail=true&formkey=dE1jM1JSTGdHVV8wTWZxenV4cEkwVlE6MQ OASIS, package managers and misc. One day, OASIS-DB will be able to automatically create package and repositories. We need to know what OASIS user wish to focus our effort on a few package manager. Preferred package manager Choose the package manager oasis-db should support GODI odb.ml OPAM native Debian packages native RPM packages (Fedora, Centos) non, OASIS should provide a package manager itself Preferred build system OASIS support by design ocamlbuild, but there are some other build system around. Which one do you think are worth to be supported by OASIS. ocamlbuild OCamlMakefile OMake ocp-build custom scripts native Makefile Powered by Google Docs Report Abuse - Terms of Service - Additional Terms --20cf301af4932e937504ce13462b Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
= If you have trouble viewing or submitting this form, you can fill it out on= line:
https://docs.goo= gle.com/spreadsheet/viewform?fromEmail=3Dtrue&formkey=3DdE1jM1JSTGdHVV8= wTWZxenV4cEkwVlE6MQ

OASIS, package managers and misc.

One day, OASIS-DB will be abl= e to automatically create package and repositories. We need to know what OA= SIS user wish to focus our effort on a few package manager.




= --20cf301af4932e937504ce13462b--