diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-05-22 15:58:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-22 15:58:24 +0200 |
| commit | fa5cc1da7a83ca7bdf685ba243e207bcd5de7370 (patch) | |
| tree | 4e65542688d98608f4fc6a07edf2910fb98b3740 /core | |
| parent | 02bc82f9be11a89f474a384652796fd5d8103741 (diff) | |
| parent | 9bf48db891828e20989391760aa3af4a5dbdd6c1 (diff) | |
Merge pull request #29003 from Xrayez/clipper-6.4.2-exceptions-fix
Build Clipper with `tools=no` and patch it to auto-disable exceptions
Diffstat (limited to 'core')
| -rw-r--r-- | core/SCsub | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/SCsub b/core/SCsub index 06efc8408d..166b7083e4 100644 --- a/core/SCsub +++ b/core/SCsub @@ -58,6 +58,7 @@ thirdparty_misc_sources = [ "md5.cpp", "pcg.cpp", "triangulator.cpp", + "clipper.cpp", ] thirdparty_misc_sources = [thirdparty_misc_dir + file for file in thirdparty_misc_sources] env_thirdparty.add_source_files(env.core_sources, thirdparty_misc_sources) |