Date: Tue, 2 Jan 2018 12:25:52 -0800
From: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
To: afzal mohammed <afzal.mohd.ma@gmail.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
Reply-To: paulmck@linux.vnet.ibm.com
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>
 <20171223061418.GA20628@afzalpc>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20171223061418.GA20628@afzalpc>
User-Agent: Mutt/1.5.21 (2010-09-15)
Message-Id: <20180102202552.GR7829@linux.vnet.ibm.com>
Sender: linux-kernel-owner@vger.kernel.org

On Sat, Dec 23, 2017 at 11:44:18AM +0530, afzal mohammed wrote:
> 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.

Very good!

							Thanx, Paul

> 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
>