diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-08-05 12:43:58 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-08-05 12:43:58 +0100 |
| commit | 33e603d8ef610508045e689e61645da34cc45e2e (patch) | |
| tree | ff405fb7b33ef6ebb4264d2bf6a50e23ceb95d80 /tex/src/delete-me-demo.tex | |
| parent | 4f5a87a8f2c8bad9689e2f22e340a619a6e58cc5 (diff) | |
Libffi builds without Java support
Until now, we weren't explicitly disabling Java in the build of libffi
because there was no Java platform on the systems we tested. But recently
Yahya Sefidbakht report a crash in libffi (reported in bug #56716) because
of Java not being compiled properly.
Unfortunately libffi doesn't have a configure option to disable Java, but
it does have an internal macro (`NO_JAVA_RAW_API'). With this commit, we
we defined this macro in the `make' step, and it solved the problem.
This fixes bug #56716.
Diffstat (limited to 'tex/src/delete-me-demo.tex')
0 files changed, 0 insertions, 0 deletions