Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
        id S1751774AbdLWGOa (ORCPT <rfc822;w@1wt.eu>);
        Sat, 23 Dec 2017 01:14:30 -0500
Received: from mail-pl0-f53.google.com ([209.85.160.53]:45561 "EHLO
        mail-pl0-f53.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1750855AbdLWGO2 (ORCPT
        <rfc822;linux-kernel@vger.kernel.org>);
        Sat, 23 Dec 2017 01:14:28 -0500
X-Google-Smtp-Source: ACJfBouYKUxSommtHcry0KZ/LO9uJ9TlOiYrXJgwUwOri0f0iHd+kT6ef1lllQn+tPHFw9Ep0SNzOA==
Date: Sat, 23 Dec 2017 11:44:18 +0530
From: afzal mohammed <afzal.mohd.ma@gmail.com>
To: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
Cc: Alan Stern <stern@rowland.harvard.edu>,
        Peter Zijlstra <peterz@infradead.org>, parri.andrea@gmail.com,
        will.deacon@arm.com, boqun.feng@gmail.com, npiggin@gmail.com,
        dhowells@redhat.com, j.alglave@ucl.ac.uk, luc.maranget@inria.fr,
        linux-kernel@vger.kernel.org, elena.reshetova@intel.com
Subject: Re: Prototype patch for Linux-kernel memory model
Message-ID: <20171223061418.GA20628@afzalpc>
References: <20171114075925.apzztfksn4f4y5ue@hirez.programming.kicks-ass.net>
 <Pine.LNX.4.44L0.1711141016340.1796-100000@iolanthe.rowland.org>
 <20171114171505.GS3624@linux.vnet.ibm.com>
 <20171115163749.GA8555@linux.vnet.ibm.com>
 <20171220113145.GA5082@afzalpc>
 <20171220164538.GL7829@linux.vnet.ibm.com>
 <20171221033055.GA3944@afzalpc>
 <20171221161502.GX7829@linux.vnet.ibm.com>
 <20171222041132.GA5354@afzalpc>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20171222041132.GA5354@afzalpc>
User-Agent: Mutt/1.5.24 (2015-08-30)
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org
Content-Length: 1013
Lines: 29

Hi,

On Fri, Dec 22, 2017 at 09:41:32AM +0530, afzal mohammed wrote:
> On Thu, Dec 21, 2017 at 08:15:02AM -0800, Paul E. McKenney wrote:

> > Have you installed and run the herd tool?  Doing so would allow you
> > to experiment with changes to the litmus tests.
> 
> Yes, i installed herd tool and then i was at a loss :(, so started
> re-reading the documentation, yet to run any of the tests.

Above was referring to "opam install herdtools7" & the pre-requisites,
with the current HEAD of herd, build fails as below, but builds fine
with the latest tag - 7.47.

Could run a couple of tests as well now, thanks.

afzal


herdtools7(master)$ make all
sh ./build.sh $HOME
+ /usr/bin/ocamldep.opt -modules gen/RISCVCompile_gen.ml > gen/RISCVCompile_gen.ml.depends
File "gen/RISCVCompile_gen.ml", line 94, characters 8-9:
Error: Syntax error
Command exited with code 2.
Compilation unsuccessful after building 1439 targets (0 cached) in 00:00:59.
Makefile:4: recipe for target 'all' failed
make: *** [all] Error 10