From owner-freebsd-bugs@FreeBSD.ORG Mon Apr 28 07:10:00 2014 Return-Path: Delivered-To: freebsd-bugs@smarthost.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id BA7771BB for ; Mon, 28 Apr 2014 07:10:00 +0000 (UTC) Received: from freefall.freebsd.org (freefall.freebsd.org [IPv6:2001:1900:2254:206c::16:87]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 7D7781366 for ; Mon, 28 Apr 2014 07:10:00 +0000 (UTC) Received: from freefall.freebsd.org (localhost [127.0.0.1]) by freefall.freebsd.org (8.14.8/8.14.8) with ESMTP id s3S7A00i074782 for ; Mon, 28 Apr 2014 07:10:00 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.14.8/8.14.8/Submit) id s3S7A08W074781; Mon, 28 Apr 2014 07:10:00 GMT (envelope-from gnats) Resent-Date: Mon, 28 Apr 2014 07:10:00 GMT Resent-Message-Id: <201404280710.s3S7A08W074781@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, Michael Gruenewald Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id D948A1A1 for ; Mon, 28 Apr 2014 07:08:26 +0000 (UTC) Received: from cgiserv.freebsd.org (cgiserv.freebsd.org [IPv6:2001:1900:2254:206a::50:4]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id C64E81357 for ; Mon, 28 Apr 2014 07:08:26 +0000 (UTC) Received: from cgiserv.freebsd.org ([127.0.1.6]) by cgiserv.freebsd.org (8.14.8/8.14.8) with ESMTP id s3S78Q90053465 for ; Mon, 28 Apr 2014 07:08:26 GMT (envelope-from nobody@cgiserv.freebsd.org) Received: (from nobody@localhost) by cgiserv.freebsd.org (8.14.8/8.14.8/Submit) id s3S78QSW053464; Mon, 28 Apr 2014 07:08:26 GMT (envelope-from nobody) Message-Id: <201404280708.s3S78QSW053464@cgiserv.freebsd.org> Date: Mon, 28 Apr 2014 07:08:26 GMT From: Michael Gruenewald To: freebsd-gnats-submit@FreeBSD.org X-Send-Pr-Version: www-3.1 Subject: misc/189063: lang/ocaml: Add armv6 support X-BeenThere: freebsd-bugs@freebsd.org X-Mailman-Version: 2.1.17 Precedence: list List-Id: Bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 28 Apr 2014 07:10:00 -0000 >Number: 189063 >Category: misc >Synopsis: lang/ocaml: Add armv6 support >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: update >Submitter-Id: current-users >Arrival-Date: Mon Apr 28 07:10:00 UTC 2014 >Closed-Date: >Last-Modified: >Originator: Michael Gruenewald >Release: 10.0-STABLE >Organization: >Environment: FreeBSD llea.celt.neu 10.0-STABLE FreeBSD 10.0-STABLE #1 r264797: Wed Apr 23 07:46:36 CEST 2014 root@llea.celt.neu:/usr/obj/usr/src/sys/LLEA amd64 >Description: Andy Ray is able to build OCaml on armv6 and we are working together to integrate this in ports: Andy Ray wrote: > I've been working on OCaml 4.01.0 FreeBSD armv6 support (specifically on the raspberry pi but with other targets in mind as well). > I have a small patch to enable native code compilation here; https://github.com/andrewray/mirage-fpga/releases > At the moment I am basically running from source using OPAM but it would be really nice to roll this support into ports, if possible. > Please let me know if you are interested in this and if there is anything I can do to help. See also: https://bitbucket.org/michipili/ports-bsd/issue/8/add-armv6-support-to-lang-ocaml >How-To-Repeat: >Fix: >Release-Note: >Audit-Trail: >Unformatted: