From nobody Sat Mar 25 20:42:53 2023 X-Original-To: freebsd-ports@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4PkWHb0c90z41gx2 for ; Sat, 25 Mar 2023 20:43:07 +0000 (UTC) (envelope-from serpent7776@gmail.com) Received: from mail-wm1-x32a.google.com (mail-wm1-x32a.google.com [IPv6:2a00:1450:4864:20::32a]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "smtp.gmail.com", Issuer "GTS CA 1D4" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4PkWHZ1nckz3rm4 for ; Sat, 25 Mar 2023 20:43:06 +0000 (UTC) (envelope-from serpent7776@gmail.com) Authentication-Results: mx1.freebsd.org; dkim=pass header.d=gmail.com header.s=20210112 header.b=p3iHKbzS; spf=pass (mx1.freebsd.org: domain of serpent7776@gmail.com designates 2a00:1450:4864:20::32a as permitted sender) smtp.mailfrom=serpent7776@gmail.com; dmarc=pass (policy=none) header.from=gmail.com Received: by mail-wm1-x32a.google.com with SMTP id j18-20020a05600c1c1200b003ee5157346cso5058630wms.1 for ; Sat, 25 Mar 2023 13:43:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; t=1679776985; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=oW/dX+lDaAAjsme/ylz3DL7IWzjYbG+u2Q7ZxIgTcYM=; b=p3iHKbzS9BVPnIqBGJIAq17yBFvqI47F5/K9RSQk1GHBfmma0p4dUR2M9aokHmsHPk lfxfELnkoXJLo0rzsX7UJh1vo27xWwkFOMC6jTAWbykTU2cpoQA/JHhM1hQKRWRPlEY4 AtrNGajN624MM2VhmAdJ9noRU9aVx/bnH+WfHxcgP9TV5Mg1uHau/baMn9UsuuNQzorx BgFpFs5u2IyqStsZqoRZrvfHDa2OL3sFks/fidFXtKgF6nHwLOU657dxfoGl4/WjCCQn VwM8Iv3gwh/xM8OLBNdZrPopi8MrGh4I3YhJpFZV1rkxnNJsWN5At7ubdvBGfZEaNECn hqFg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1679776985; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=oW/dX+lDaAAjsme/ylz3DL7IWzjYbG+u2Q7ZxIgTcYM=; b=y/sZOU7/aQNtqVPDq7GrBNk0qxSeUfjf4ceADKuFwLSXYRWD+PmA0cET+cZrAGDSGR 0DBc9vOaK6VYBLEGgsswmDN/7s4D2yFjlBifE2AEflRWXNXFR10IG55R7eIGv8fqSZFm ewsqTPQo/lxNpJaW2Il0Bq0Spe7SdC0lOcN7CxR4BwYstHxRTjsHfufU5S/Bgb0bYWHQ Qcw92mwm7qGSuAvd4EsIBriFTLq6r7oiGmnCO5Yj47T9UyqWQRQuWdGY8+mOhU9cOVsq 1LdspOdsExm+ER3YSL2nazTyXU4T2B/Ug5BX+eRb0E6tIgFhaKGW0RUOT1AUaS23KE0T a3Wg== X-Gm-Message-State: AO0yUKVo33N6yRP6+cTZfPII3o3h/+ntFwz1weAHeStR1/mATCKRdqVI LrK9dyD+kE5JfQ1utJzN5mK/IFeyA7e7J9wmk00TbILgZcw= X-Google-Smtp-Source: AK7set8cmjPCgZ+M+eKTOpr1y4/joEoAnp5Iy42bk+hgkwc80fisVCaybeMuPw/tF0/OIgaKwJnUQ4lcqazj6fJCyFg= X-Received: by 2002:a05:600c:21c5:b0:3ed:2f78:e331 with SMTP id x5-20020a05600c21c500b003ed2f78e331mr1531329wmj.6.1679776985043; Sat, 25 Mar 2023 13:43:05 -0700 (PDT) List-Id: Porting software to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-ports List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-ports@freebsd.org X-BeenThere: freebsd-ports@freebsd.org MIME-Version: 1.0 From: Serpent Date: Sat, 25 Mar 2023 21:42:53 +0100 Message-ID: Subject: New port: lang/mlkit To: freebsd-ports@freebsd.org Content-Type: multipart/alternative; boundary="0000000000007ed73f05f7bf8e67" X-Spamd-Result: default: False [-2.59 / 15.00]; NEURAL_HAM_LONG(-1.00)[-1.000]; NEURAL_HAM_MEDIUM(-1.00)[-1.000]; DMARC_POLICY_ALLOW(-0.50)[gmail.com,none]; NEURAL_SPAM_SHORT(0.41)[0.409]; R_DKIM_ALLOW(-0.20)[gmail.com:s=20210112]; R_SPF_ALLOW(-0.20)[+ip6:2a00:1450:4000::/36:c]; MIME_GOOD(-0.10)[multipart/alternative,text/plain]; ARC_NA(0.00)[]; MLMMJ_DEST(0.00)[freebsd-ports@freebsd.org]; MIME_TRACE(0.00)[0:+,1:+,2:~]; RCVD_IN_DNSWL_NONE(0.00)[2a00:1450:4864:20::32a:from]; FROM_EQ_ENVFROM(0.00)[]; ASN(0.00)[asn:15169, ipnet:2a00:1450::/32, country:US]; FREEMAIL_ENVFROM(0.00)[gmail.com]; MID_RHS_MATCH_FROMTLD(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; RCVD_COUNT_TWO(0.00)[2]; FREEMAIL_FROM(0.00)[gmail.com]; FROM_HAS_DN(0.00)[]; DKIM_TRACE(0.00)[gmail.com:+]; PREVIOUSLY_DELIVERED(0.00)[freebsd-ports@freebsd.org]; RCPT_COUNT_ONE(0.00)[1]; TO_DN_NONE(0.00)[]; RCVD_TLS_LAST(0.00)[]; DWL_DNSWL_NONE(0.00)[gmail.com:dkim] X-Rspamd-Queue-Id: 4PkWHZ1nckz3rm4 X-Spamd-Bar: -- X-ThisMailContainsUnwantedMimeParts: N --0000000000007ed73f05f7bf8e67 Content-Type: text/plain; charset="UTF-8" Hi, I've added a new port for mlkit, a Standard ML compiler. Can anyone take a look at it? https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=269566 Thanks. --0000000000007ed73f05f7bf8e67 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi,

I've added a new por= t for mlkit, a Standard ML compiler. Can anyone take a look at it?


Thanks.
--0000000000007ed73f05f7bf8e67--