Marco Zecchini / Mbed OS Example_RTOS

Rtos API example

Embed: (wiki syntax)

« Back to documentation index

tools::options Namespace Reference
Functions

tools::options Namespace Reference

Functions

def get_default_options_parser
def list_profiles
def extract_profile

Detailed Description

mbed SDK
Copyright (c) 2011-2013 ARM Limited

Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at

    http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.

Function Documentation

def tools::options::extract_profile (   parser,
  options,
  toolchain,
  fallback = "develop" 
) 
Extract a Toolchain profile from parsed options

Positional arguments:
parser - parser used to parse the command line arguments
options - The parsed command line arguments
toolchain - the toolchain that the profile should be extracted for

Definition at line 100 of file options.py.

def tools::options::get_default_options_parser (   add_clean = True,
  add_options = True,
  add_app_config = False 
) 
Create a new options parser with the default compiler options added

Keyword arguments:
add_clean - add the clean argument?
add_options - add the options argument?

Definition at line 32 of file options.py.

def tools::options::list_profiles (  ) 
Lists available build profiles

Checks default profile directory (mbed-os/tools/profiles/) for all the json files and return list of names only

Definition at line 93 of file options.py.

Generated on Sun Jul 17 2022 08:25:44 by  doxygen 1.7.2