From mboxrd@z Thu Jan 1 00:00:00 1970 From: Sebastien.Hinderer@inria.fr (=?utf-8?Q?S=C3=A9bastien?= Hinderer) Date: Wed, 14 Oct 2015 16:57:40 +0200 Subject: [Cocci] Compiling Coccinelle with specific OCaml versions on openSUSE In-Reply-To: References: <561E2F35.2080803@users.sourceforge.net> <20151014144445.GA4635@pl-59055.rocqadm.inria.fr> Message-ID: <20151014145740.GA4812@pl-59055.rocqadm.inria.fr> To: cocci@systeme.lip6.fr List-Id: cocci@systeme.lip6.fr Julia Lawall (2015/10/14 16:49 +0200): > No problem with opam, but this problem will recur, so I would really > prefer to have it solved. Sure! The two things are totally distinct and the reported problem definitely needs to be solved. So far, the issue is that I was absolutely not able to reproduce it, so any help on this would be greatly appreciated. The help could be a detailed procedure explaining how to reproduce the problem, an access to a machine where the problem occurs or anything else you guys could think about. S?bastien.