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

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

To: C-Reduce Dev Mailing List <creduce-dev@flux.utah.edu>
Subject: Re: [creduce-dev] Update to CMake-Based Build System
From: Eric Eide <eeide@cs.utah.edu>
Date: Tue, 28 Jun 2016 13:43:06 -0600
In-reply-to: <ac049df8-e726-3354-f704-13d71f370941@cs.utah.edu> (John Regehr's message of "Tue, 28 Jun 2016 21:25:57 +0200")
List-archive: </listarchives/creduce-dev>
List-help: <mailto:creduce-dev-request@flux.utah.edu?subject=help>
List-id: C-Reduce Development Mailing List <creduce-dev.flux.utah.edu>
List-post: <mailto:creduce-dev@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/creduce-dev>, <mailto:creduce-dev-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/options/creduce-dev>, <mailto:creduce-dev-request@flux.utah.edu?subject=unsubscribe>
References: <m1a8iem5r0.fsf@cs.utah.edu> <20160628121949.22986s0vbbsohy6d@webmail.pflanzer.eu> <m1lh1p31gp.fsf@cs.utah.edu> <BE59B879-D036-42DF-BC4B-2F8273554102@pflanzer.eu> <ac049df8-e726-3354-f704-13d71f370941@cs.utah.edu>
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (darwin)

John Regehr <regehr@cs.utah.edu> writes:

> http://www.muppetlabs.com/~breadbox/software/cppp.html

Yeah, that's the one that I was thinking of.  I just can't spell cppp!

> 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!

OK, I'll just do that.

-- 
-------------------------------------------------------------------------------
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

Follow-Ups:
- Re: [creduce-dev] Update to CMake-Based Build System
  - From: Eric Eide <eeide@cs.utah.edu>

References:
- [creduce-dev] Update to CMake-Based Build System
  - From: Eric Eide <eeide@cs.utah.edu>
- Re: [creduce-dev] Update to CMake-Based Build System
  - From: moritz@pflanzer.eu
- Re: [creduce-dev] Update to CMake-Based Build System
  - From: Eric Eide <eeide@cs.utah.edu>
- Re: [creduce-dev] Update to CMake-Based Build System
  - From: Moritz Pflanzer <moritz@PFLANZER.EU>
- Re: [creduce-dev] Update to CMake-Based Build System
  - From: John Regehr <regehr@cs.utah.edu>

Prev by Date: Re: [creduce-dev] Update to CMake-Based Build System
Next by Date: Re: [creduce-dev] Update to CMake-Based Build System
Previous by thread: Re: [creduce-dev] Update to CMake-Based Build System
Next by thread: Re: [creduce-dev] Update to CMake-Based Build System
Index(es):
- Date
- Thread