Did you know ... Search Documentation:
Predicate make/0
Availability::- use_module(library(make)).(can be autoloaded)
Sourcemake
Consult all source files that have been changed since they were consulted. It checks all loaded source files: files loaded into a compiled state using pl -c ... and files loaded using consult/1 or one of its derivatives. The predicate make/0 is called after edit/1, automatically reloading all modified files. If the user uses an external editor (in a separate window), make/0 is normally used to update the program after editing. In addition, make/0 updates the autoload indices (see section 2.14) and runs list_undefined/0 from the library(check) library to report on undefined predicates.
Tags are associated to your profile if you are logged in
Tags:
LogicalCaptain said (2021-02-09T11:14:47):0 upvotes 0 0 downvotes
Picture of user LogicalCaptain.
This needs an "automake" which performs whatever make/0 does automatically whenever the "modify" timestamp of a file in the set of loaded files is updated. It's annoying to type make whenever one saves a file in the editor.