%% This file is generated on-the-fly by regmtchconfig.P
%% Do not edit--any changes will be written over.
%% XSB config:     x86_64-pc-linux-gnu
%% XSB CC:         x86_64-pc-linux-gnu-gcc
%% Compiler flags:   -I/etc/java-config-2/current-system-vm/include    -O2 -march=x86-64 -pipe  -Wl,-O1 -Wl,--as-needed -lm -ldl -Wl,-export-dynamic -lpthread 
:- import slash/1 from machine.
:- export do_regmatch__/5, do_bulkmatch__/5, do_regsubstitute__/4, do_regsubstring__/4, do_regcharlist_to_string__/2.
:- ldoption(' -Wl,-O1 -Wl,--as-needed -lm -ldl -Wl,-export-dynamic -lpthread').
