Merge pull request #107 from gebner/shellcmd

Add `everest shell` command for debugging.
project-everest · Jan 6, 2024 · e66d15a · e66d15a
2 parents 5adb5ba + 8cd9abe
commit e66d15a
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/everest b/everest
@@ -1195,6 +1195,13 @@ do_ci () {
     do_test
 }
 
+do_shell() {
+  setup_env
+  echo -n "# Switching back to "
+  cd -
+  exec "${@:-$SHELL}"
+}
+
 # ------------------------------------------------------------------------------
 # Usage and parsing arguments
 # ------------------------------------------------------------------------------
@@ -1279,6 +1286,8 @@ COMMAND:
 
   clean     clean all projects
 
+  shell     run a shell with the correct FSTAR_HOME/... environment variables
+
   help      print the current message
 HELP
 }
@@ -1459,6 +1468,12 @@ while true; do
       do_archive
       ;;
 
+    shell)
+      shift
+      do_shell "$@"
+      # do_shell does not return
+      ;;
+
     *)
       print_usage
       exit 1