Re: [PATCH] tools/memory-model: Update required version of herdtools7

2018-04-08 Thread Paul E. McKenney
On Sun, Apr 08, 2018 at 09:18:08AM +0900, Akira Yokosawa wrote: > >From 64542a47acf159d26b8290480c0af9c2a05d20d6 Mon Sep 17 00:00:00 2001 > From: Akira Yokosawa <aki...@gmail.com> > Date: Sun, 8 Apr 2018 07:44:55 +0900 > Subject: [PATCH] tools/memory-model: Update required

Re: [PATCH] tools/memory-model: Update required version of herdtools7

2018-04-08 Thread Paul E. McKenney
On Sun, Apr 08, 2018 at 09:18:08AM +0900, Akira Yokosawa wrote: > >From 64542a47acf159d26b8290480c0af9c2a05d20d6 Mon Sep 17 00:00:00 2001 > From: Akira Yokosawa > Date: Sun, 8 Apr 2018 07:44:55 +0900 > Subject: [PATCH] tools/memory-model: Update required version of herdtools7 >

[PATCH] tools/memory-model: Update required version of herdtools7

2018-04-07 Thread Akira Yokosawa
>From 64542a47acf159d26b8290480c0af9c2a05d20d6 Mon Sep 17 00:00:00 2001 From: Akira Yokosawa <aki...@gmail.com> Date: Sun, 8 Apr 2018 07:44:55 +0900 Subject: [PATCH] tools/memory-model: Update required version of herdtools7 Code generated by klitmus7 version 7.48 doesn't compile wi

[PATCH] tools/memory-model: Update required version of herdtools7

2018-04-07 Thread Akira Yokosawa
>From 64542a47acf159d26b8290480c0af9c2a05d20d6 Mon Sep 17 00:00:00 2001 From: Akira Yokosawa Date: Sun, 8 Apr 2018 07:44:55 +0900 Subject: [PATCH] tools/memory-model: Update required version of herdtools7 Code generated by klitmus7 version 7.48 doesn't compile with kernel header of 4