SWISH: sandboxing clp(BNR)

Help! Pack
,
1

Hi,

I registered clp(BNR) as a SWISH Git submodule on my local SWISH instance, ran make pack and tried to run the following program with the empty program profile:

:-use_module(library(clpBNR)).

test_rule(A,B):-
    A::integer(0,_),
    {A>=2*B}.

which complains as:

procedure ` ::(A,B)’ does not exist
Reachable from:
test_rule(A,B)

Now, commenting the line the complaint is about:

test_rule(A,B):-
    %A::integer(0,_),
    {A>=2*B}.

I get:

No permission to call sandboxed `nb_linkval(1830,1832)’
Reachable from:
clpBNR:g_assign(‘clpBNR:iterations’,A)
clpBNR:stableLoop(A,B)
clpBNR:stable(A)
clpBNR:attr_unify_hook(A,B)
clpBNR:applyType_(A,B,C,D)
clpBNR:int_decl_(A,B,C)
clpBNR:new_interval_(A,B)
clpBNR:declare_vars_(A)
{A}
test_rule(A,B)

So, I guess that’s a sandboxing problem. How can I correct that ?

Thanks !

2

See config-available/clpBNR.pl.