[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-dev] Update to CMake-Based Build System

If I recall, cppp lacks a way to print the full list of possible definitions, which makes the indexing feature of a C-Reduce pass hard to implement.

This is the one I was looking at, I don't know anything about Mike Ernst's version:


Anyhow my view is that this is a bit of a niche C-Reduce feature, perfectly fine to just disable it on Windows until we come up with a better solution!


On 6/28/16 9:20 PM, Moritz Pflanzer wrote:
I have not tested cccp but it seems to be from the GNU family. I suspect that it will not work on Windows either.

Instead I have found cppp (https://homes.cs.washington.edu/~mernst/software/cppp) which is a Perl script which should work on Windows. I will test later and come back with feedback.



On 28 Jun 2016, at 14:08, Eric Eide <eeide@cs.utah.edu> wrote:

moritz@pflanzer.eu writes:

I can confirm that it works on OS X 10.11.


Unfortunately it does not work natively on Windows because "unifdef" cannot
be build with Visual Studio. Some dependencies are Posix only.  I would
suggest to make the build of "unifdef" conditional and to show a warning if
its build is deactivated. The user could then build it by themselves using
Cygwin etc.

Thanks!  I wonder if we could replace unifdef with a similar tool that does
build on Windows.  (I recall cccp, but I don't know if it is Windows-friendly.)


Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX