src/run.mli

   1 (* Goalfile evaluation
   2  * Copyright (C) 2019 Richard W.M. Jones
   3  * Copyright (C) 2019 Red Hat Inc.
   4  *
   5  * This program is free software; you can redistribute it and/or modify
   6  * it under the terms of the GNU General Public License as published by
   7  * the Free Software Foundation; either version 2 of the License, or
   8  * (at your option) any later version.
   9  *
  10  * This program is distributed in the hope that it will be useful,
  11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13  * GNU General Public License for more details.
  14  *
  15  * You should have received a copy of the GNU General Public License along
  16  * with this program; if not, write to the Free Software Foundation, Inc.,
  17  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *)
  19
  20 val goal_runner : Deps.goal_runner
  21 (** Run a single goal. *)
  22
  23 val exists_runner : Deps.exists_runner
  24 (** Run the implicit existence predicate.
  25
  26     This is used when we find a predicate like is-foo(...) but there
  27     is no matching goal.  We run (in this callback) the associated
  28     predicate code.  As long as it runs successfully, not returning 99 or
  29     any error value, then we're OK - the predicate doesn't need rebuilding
  30     so the dependency is satisfied.  However if it returns 99 (needs
  31     rebuild) or an error then we have to exit with an error. *)