cli: expose seal5 build/install --ccache

tum-ei-eda · Sep 27, 2024 · 5f6ea15 · 5f6ea15
1 parent 3ee14de
commit 5f6ea15
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/seal5/cli/build.py b/seal5/cli/build.py
@@ -40,6 +40,11 @@ def add_build_options(parser):
         default=None,
         help="Choose build Config in Settings.yml",
     )
+    build_parser.add_argument(
+        "--ccache",
+        action="store_true",
+        help="Enable CCache to speedup compilation.",
+    )
 
 
 def get_parser(subparsers):
@@ -63,4 +68,5 @@ def handle(args):
         config=args.config,
         target=args.target,
         verbose=args.verbose,
+        enable_ccache=args.ccache,
     )
diff --git a/seal5/cli/install.py b/seal5/cli/install.py
@@ -39,6 +39,11 @@ def add_install_options(parser):
         default=None,
         help="Choose destination. If not defined, installed to .seal5/install/$config.",
     )
+    install_parser.add_argument(
+        "--ccache",
+        action="store_true",
+        help="Enable CCache to speedup compilation.",
+    )
 
 
 def get_parser(subparsers):
@@ -62,4 +67,5 @@ def handle(args):
         dest=args.dest,
         config=args.config,
         verbose=args.verbose,
+        enable_ccache=args.ccache,
     )