Is Sqlite facts supported for binary executable?

[khanhhua]

I have generated cpp source from a program.dl on my Mac M2, then used g++ to compile to an executable (Mach-O 64-bit executable arm64).

The program executes, asking for an input. After that it reports an error:

Requested input type <sqlite> is not supported.

However, running as interpreted, it is just fine:

khanhhua@Mac japanese % make program
/opt/homebrew/bin/souffle -D - program.dl
私は学生です
---------------
sequence0
seq
===============
[私, [は, [学生, [で, nil]]]]
[私, [は, [学生, [です, nil]]]]
===============
---------------
statement
st
===============
$PredicateStatement($SubjectPhrase(私, は), $PredicatePhrase(学生, です))
===============

What have I done wrong?

[khanhhua]

Turns out that in my generated program.cpp, a #define USE_SQLITE 1 is missing.
I have a libsqlite3.o shared lib object file ready on my Mac and the sweet program.cpp got compiled like a charm.

Question is: How do you turn this flag on via the souffle command?