lkml.org 
[lkml]   [2018]   [Jan]   [2]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: Prototype patch for Linux-kernel memory model
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
>

\
 
 \ /
  Last update: 2018-01-02 21:26    [W:0.052 / U:0.216 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site