From mboxrd@z Thu Jan 1 00:00:00 1970 From: johannes@sipsolutions.net (Johannes Berg) Date: Mon, 08 Jun 2015 22:29:30 +0200 Subject: [Cocci] [PATCH 3/4] gentree.py: add SmPL patch equivalence proof support In-Reply-To: (sfid-20150608_220920_158737_89BFA6E4) References: <1433549401-17006-1-git-send-email-mcgrof@do-not-panic.com> <1433549401-17006-4-git-send-email-mcgrof@do-not-panic.com> <1433592743.2467.7.camel@sipsolutions.net> <1433792751.10172.0.camel@sipsolutions.net> (sfid-20150608_220920_158737_89BFA6E4) Message-ID: <1433795370.10172.2.camel@sipsolutions.net> To: cocci@systeme.lip6.fr List-Id: cocci@systeme.lip6.fr On Mon, 2015-06-08 at 13:08 -0700, Luis R. Rodriguez wrote: > > Speaking of which - are you aware that pycocci fails (or rather doesn't > > fail!) miserably when cocci isn't installed/in the $PATH? At least I got > > a report to that extent, > > Did you verify it? No, sorry. It was actually a pretty old discussion that came to my mind now. > mcgrof at ergon ~/linux-next (git::20150604-proto_ops-send-rcv-smpl)$ which pycocci > which: no pycocci in > (/usr/local/bin/:/usr/local/sbin/:/sbin/:/usr/sbin/:/home/mcgrof/bin/:/usr/bin:/usr/local/bin/:/usr/local/sbin/:/sbin/:/usr/sbin/:/home/mcgrof/bin/:/usr/bin:/usr/local/bin/:/usr/local/sbin/:/sbin/:/usr/sbin/:/home/mcgrof/bin/:/usr/bin:/home/mcgrof/bin:/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games) > > So not on my path. Ah, no, I meant if *spatch* isn't on the $PATH, but you call pycocci ... the report said that in that case pycocci wasn't really failing "gracefully". Anyway - I really should verify that myself first. > Also Johannes, I value your time and I feel you're > investing quite a bit of time into this NACK discussion, I obviously > trust your judgement completely on gentree.py maintenance so for your > convenience feel free to be concise in your NACK's for patches there. Nah, don't worry -- I need to write it down to actually have a coherent argument myself :) johannes