Browse Source

Set dependencies option in profiles

pull/12/head
Erwan MATHIEU 2 years ago committed by GitHub
parent
commit
8302c35138
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 11
      global.conf

11
global.conf

@ -2,5 +2,14 @@ core:default_profile = cura.jinja
core:default_build_profile = cura_build.jinja
tools.cmake.cmaketoolchain:generator = Ninja
tools.gnu:define_libcxx11_abi = True
tools.build:skip_test = False
core.version_ranges:resolve_prereleases=True
[options]
asio-grpc/*:local_allocator="recycling_allocator"
grpc/*:csharp_plugin=False
grpc/*:node_plugin=False
grpc/*:objective_c_plugin=False
grpc/*:php_plugin=False
grpc/*:ruby_plugin=False
grpc/*:python_plugin=False
boost/*:header_only=True

Loading…
Cancel
Save