[csmith-project/creduce] 9e210c: Separate required and optional run-time dependenci...

[Eric Eide <eeide@cs.utah.edu>]

  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/creduce
  Commit: 9e210c43334cbd81b1bb61674d145f3ebe00255d
      https://github.com/csmith-project/creduce/commit/9e210c43334cbd81b1bb61674d145f3ebe00255d
  Author: Eric Eide <eeide@cs.utah.edu>
  Date:   2015-10-28 (Wed, 28 Oct 2015)

  Changed paths:
    M configure
    M configure.ac

  Log Message:
  -----------
  Separate required and optional run-time dependencies.

Give different kinds of warnings for required and optional run-time
dependencies that are missing at configure time.  The warnings about
missing optional dependencies are softer, along the lines of:
"C-Reduce will use X if you install it in the future."

Previously, we only had required run-time dependencies.