#!/bin/sh
#
# PLEASE REPLACE ACCORDING TO YOUR ENVIRONMENT
#
# FULL PATH OF THE DLV EXECUTABLE TO BE TESTED
DLV_TO_TEST=/home/cozza/dlvEB/dlvEBfullREVIEW1/dl

# PATH FOR THE BUILTIN LIBRARIES FOLDER (CONTAINING FILES: extpred.h, extpred.o, dynamic, ... , *.so)
PATH_TO_LIB=/home/cozza/dlvEB/dlvEBfullREVIEW1/LIB/

# PATH FOR THE BETL COMPILER AND INTERPRETER FOLDER (CONTAINING FILES: BETLc, BETLi))
PATH_TO_BETL=/usr/local/bin/


##################################################################
# PLEASE DO NOT MODIFY BELOW THIS LINE

SCRIPT_NAME=$0
export DLV_TO_TEST
export PATH_TO_LIB
export PATH_TO_BETL
export SCRIPT_NAME

perl testbuiltin.pl $*
