6.7.3.5 Examples
  1. The character-based SICStus development system executable (sicstus) can be created using:
              % spld --main=prolog -o sicstus
    

    This will create a development system that is dynamically linked and has no pre-linked foreign resources.

  2.           % spld --static -D --resources=random -o main
    

    This will create a statically linked executable called main that has the resource random pre-linked (statically).

  3. An all-in-one executable with a home-built foreign resource.

    This example is similar to the example in All-in-one Executables, with the addition of a foreign resource of our own.

                                       
    % bar.pl
    :- use_module(library(random)). :- use_module(library(clpfd)). % This will be called when the application starts: user:runtime_entry(start) :- %% You may consider putting some other code here... write('hello world'),nl, write('Getting a random value:'),nl, random(1, 10, R), % from random write(R),nl, ( all_different([3,9]) -> % from clpfd write('3 != 9'),nl ; otherwise -> write('3 = 9!?'),nl ), '$pint'(4711). % from our own foreign resource 'bar' foreign(print_int, '$pint'(+integer)). foreign_resource(bar, [print_int]). :- load_foreign_resource(bar).
                                    
    /* bar.c */
    #include <sicstus/sicstus.h> #include <stdio.h> /* bar_glue.h is generated by splfr from the foreign/[2,3] facts. Always include the glue header in your foreign resource code. */ #include "bar_glue.h" extern void print_int(SP_integer a); void print_int(SP_integer a) { /* Note the use of SPRIdINTEGER to get a format specifier corresponding to the SP_integer type. For most platforms this corresponds to "ld" and long, respectively. */ printf("a=%" SPRIdINTEGER "\n", (SP_integer)a); }

    To create the saved-state bar.sav we will compile the file bar.pl and save it with save_program('bar.sav'). When compiling the file the directive :- load_foreign_resource(bar). is called so a dynamic foreign resource must be present.

    Thus, first we build a dynamic foreign resource.

              % splfr bar.c bar.pl
    

    Then, we create the saved-state.

              % sicstus --goal "compile(bar), save_program('bar.sav'), halt."
    

    We also need a static foreign resource to embed in our all-in-one executable.

              % splfr --static bar.c bar.pl
    

    Finally, we build the all-in-one executable with spld. We do not need to list the foreign resources needed. spld will extract their names from the .sav file. Adding the --verbose option will make spld output lots of progress information, among which are the names of the foreign resources that are needed. Look for “Found resource name” in the output.

              % spld --verbose --static --main=restore --respath=. --resources=bar.sav=/mystuff/bar.sav --output=bar
    

    In this case four foreign resource names are extracted from the .sav file: bar, clpfd, random and timeout. The source file bar.pl loads the foreign resource named bar. It also uses library(random) module, which loads the foreign resource named random, and library(clpfd) module, which loads the foreign resources named clpfd and timeout.

    By not listing foreign resources when running spld, we avoid the risk of omitting a required resource.


Send feedback on this subject.