Predicates Available When Using The Make Package

Author(s): Manuel Hermenegildo, Edison Mera.

This is the run-time module which implements the predicates which are provided when using the make library package in a given application. For example, they are used internally by lpmake.

Documentation on exports

PREDICATE

Usage:make(TargetList)

This is the main entry point to the make library. It makes the list of targets one by one as well as any intermediate targets needed as dictated by the dependency rules.

  • The following properties should hold at call time:
    (basic_props:list/2)TargetList is a list of targets.

REGTYPE

Usage:target(T)

T is a Makefile target.

    PREDICATE

    Usage:make_option(Option)

    Asserting/retracting facts of this predicate sets/clears library options. Default is no options (i.e., the predicate is undefined). The following values are supported:

    make_option('--trace-deps'). % Verbose: prints progress messages (useful 
                                 % for debugging rules).
    

    • The following properties should hold at call time:
      (basic_props:atm/1)Option is an atom.
    The predicate is of type data.

    PREDICATE
    No further documentation available for this predicate.

    PREDICATE

    Usage:trace_message(Text,ArgList)

    The text provided in Text is printed as a message, using the arguments in ArgList, if make_option('--trace-deps') is defined. Otherwise nothing is printed.

    • The following properties should hold at call time:
      (format:format_control/1)Text is an atom or string describing how the arguments should be formatted. If it is an atom it will be converted into a string with name/2.
      (basic_props:list/1)ArgList is a list.

    PREDICATE
    No further documentation available for this predicate.

    PREDICATE
    No further documentation available for this predicate.

    PREDICATE
    No further documentation available for this predicate.

    PREDICATE
    No further documentation available for this predicate.

    PREDICATE

    Usage:get_all_values(Name,Values)

    Values are all the possible values of Name.

      PREDICATE
      No further documentation available for this predicate. The predicate is of type data.

      PREDICATE
      No further documentation available for this predicate.

      PREDICATE

      Usage:cp_name_value(Source,Target)

      Copy the variable values from Source to Target

      • The following properties should hold at call time:
        (basic_props:atm/1)Source is an atom.
        (basic_props:atm/1)Target is an atom.

      PREDICATE
      No further documentation available for this predicate.

      PREDICATE
      No further documentation available for this predicate.

      PREDICATE
      No further documentation available for this predicate.

      PREDICATE
      No further documentation available for this predicate.

      PREDICATE

      Usage:check_var_exists(Var)

      Fails printing a message if variable Var does not exist.

        PREDICATE
        No further documentation available for this predicate.

        PREDICATE
        No further documentation available for this predicate. The predicate is of type data.

        PREDICATE
        No further documentation available for this predicate.

        PREDICATE
        No further documentation available for this predicate.

        PREDICATE
        No further documentation available for this predicate.

        PREDICATE
        No further documentation available for this predicate.

        PREDICATE

        Usage:push_name_value(Name,Var,R)

        Push variable name Name with all values of variable Var and returns R, an abstract type to pass to pop_name_value/1 to undo the push changes. Push cannot be nested.

          PREDICATE

          Usage:pop_name_value(R)

          Restores the value of the variable indicated by the abstract type R. Notice that R _must be_ the argument returned by push_name_value/2.

            PREDICATE
            No further documentation available for this predicate.

            PREDICATE
            No further documentation available for this predicate.

            PREDICATE
            No further documentation available for this predicate.

            PREDICATE

            Usage:dyn_load_cfg_module_into_make(ConfigFile)

            Used to load dynamically a module (typically, a Makefile) into the make library from the application using the library.

            • The following properties should hold at call time:
              (streams_basic:sourcename/1)ConfigFile is a source name.

            PREDICATE

            Usage:get_settings_nvalue(Pred)

            Executes Pred as unkown call, in other words, it is useful to execute predicates that have been loaded by register_module/1.

            Example: get_settings_nvalue(my_options(ciao, A, B)).

            • The following properties should hold at call time:
              (basic_props:term/1)Pred is any term.

            (UNDOC_REEXPORT)
            up_to_date/2:
            Imported from up_to_date (see the corresponding documentation for details).

            Known bugs and planned improvements

            • The current handle of help messages is defficient. It must be in a standar form, and the user of this library only must be allowed to add messages, not procedures to print it.
            • target_comment/1 does not work, why? :-(.