Variable: prolog-compile-string

prolog-compile-string is a customizable variable defined in prolog.el.gz.

Value

((eclipse "[%f].") (mercury "mmake ")
 (sicstus
  (eval
   (if (prolog-atleast-version '(3 . 7))
       "prolog:zap_file(%m,%b,compile,%l)."
     "prolog:zap_file(%m,%b,compile).")))
 (swi "[%f].") (t "compile(%f)."))

Documentation

Alist of strings and lists defining predicate for recompilation.

Some parts of the string are replaced:
%f by the name of the compiled file (can be a temporary file)
%b by the file name of the buffer to compile
%m by the module name and name of the compiled file separated by colon
%l by the line offset into the file. This is 0 unless compiling a
     region of a buffer, in which case it is the number of lines before
     the region.

If prolog-program-name(var)/prolog-program-name(fun) is non-nil, it is a string sent to a Prolog process. If prolog-program-name(var)/prolog-program-name(fun) is nil, it is an argument to the compile function.

Source Code

;; Defined in /usr/src/emacs/lisp/progmodes/prolog.el.gz
(defcustom prolog-compile-string
  '((eclipse "[%f].")
    (mercury "mmake ")
    (sicstus (eval (if (prolog-atleast-version '(3 . 7))
                       "prolog:zap_file(%m,%b,compile,%l)."
                     "prolog:zap_file(%m,%b,compile).")))
    (swi "[%f].")
    (t "compile(%f)."))
  "Alist of strings and lists defining predicate for recompilation.

Some parts of the string are replaced:
`%f' by the name of the compiled file (can be a temporary file)
`%b' by the file name of the buffer to compile
`%m' by the module name and name of the compiled file separated by colon
`%l' by the line offset into the file.  This is 0 unless compiling a
     region of a buffer, in which case it is the number of lines before
     the region.

If `prolog-program-name' is non-nil, it is a string sent to a Prolog process.
If `prolog-program-name' is nil, it is an argument to the `compile' function."
  :group 'prolog-inferior
  :type '(alist :key-type (choice symbol sexp)
                :value-type (group (choice string (const nil) sexp)))
  :risky t)