[ library(http_client) | Reference Manual | Alphabetic Index ]

http_compile(+Url)

Compile an ECLiPSe source file, given its URL

Url: A string

Description

This utility downloads an eclipse source file (given its URL) and compiles it. Note that this represents a security risk: the downloaded code may contain Eclipse commands that are executed on your computer. Make sure you trust the code that you download!

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

Examples

    [eclipse 1]: lib(http_client).
    yes.
    [eclipse 2]: http_compile("http://icparc.ic.ac.uk/eclipse/examples/sendmore.pl").
    yes.
    [eclipse 8]: sendmore1(X).
    X = [9, 5, 6, 7, 1, 0, 8, 2]     More? (;) 
    no (more) solution.