Re: Prototype patch for Linux-kernel memory model

[Paul E. McKenney]

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
>