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

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

Vedant Kumar <vsk@apple.com> writes:

> I tested out your change with the latest macOS beta and Xcode 8 beta 1:
>   cd creduce; mkdir R; cd R;
>   xcrun cmake -G Ninja -DCMAKE_PREFIX_PATH='[...]' ..
>   ninja
> Things seem to work fine.

Thanks for the report!  As far as I know, you are the first and only person to
have ever built C-Reduce with Ninja!


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