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
Date: Tue, 2 Jan 2018 12:25:52 -0800 [thread overview]
Message-ID: <20180102202552.GR7829@linux.vnet.ibm.com> (raw)
In-Reply-To: <20171223061418.GA20628@afzalpc>
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
>
prev parent reply other threads:[~2018-01-02 20:25 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-11-13 18:40 Paul E. McKenney
2017-11-13 20:09 ` Alan Stern
2017-11-14 4:52 ` Paul E. McKenney
2017-11-14 7:59 ` Peter Zijlstra
2017-11-14 15:19 ` Alan Stern
2017-11-14 17:15 ` Paul E. McKenney
2017-11-15 16:37 ` Paul E. McKenney
2017-11-17 11:27 ` Boqun Feng
2017-11-20 16:35 ` Andrea Parri
2017-11-20 19:30 ` Paul E. McKenney
2017-12-19 8:36 ` afzal mohammed
2017-12-19 16:05 ` Alan Stern
2017-12-20 11:31 ` afzal mohammed
2017-12-20 16:45 ` Paul E. McKenney
2017-12-21 3:30 ` afzal mohammed
2017-12-21 16:15 ` Paul E. McKenney
2017-12-22 4:11 ` afzal mohammed
2017-12-23 6:14 ` afzal mohammed
2018-01-02 20:25 ` Paul E. McKenney [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20180102202552.GR7829@linux.vnet.ibm.com \
--to=paulmck@linux.vnet.ibm.com \
--cc=afzal.mohd.ma@gmail.com \
--cc=boqun.feng@gmail.com \
--cc=dhowells@redhat.com \
--cc=elena.reshetova@intel.com \
--cc=j.alglave@ucl.ac.uk \
--cc=linux-kernel@vger.kernel.org \
--cc=luc.maranget@inria.fr \
--cc=npiggin@gmail.com \
--cc=parri.andrea@gmail.com \
--cc=peterz@infradead.org \
--cc=stern@rowland.harvard.edu \
--cc=will.deacon@arm.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
Powered by JetHome