Please check the format of souffle-compile's input file

[Neuromancer42]

In the souffle-compile script file, line 40-48, i,e,

 exe=`basename $1 .cpp`
    OMP_FLAG="-fopenmp"
    NUM_THREADS=$3
    if [ "$2" = "seq" -o "$3" = "seq" ]
    then
        OMP_FLAG=""
        NUM_THREADS=""
    fi
    rm -f ./$exe

I guess these lines are aimed to remove the (wrongly) compiled results. However, if the input file's suffix is not ".cpp", the $exe variable would be name of the file itself, and wrongly remove the file. I think it would be better to add a file type check step before these operations.

[b-scholz]

Can you have a look at the souffle-lang/souffle fork? There the compile scripts have been rewritten.