ExternalVendorCode/trick
1
0
Fork 0
mirror of https://github.com/nasa/trick.git synced 2025-02-21 17:36:42 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge branch 'master' of https://github.com/nasa/trick

Browse Source
This commit is contained in:
John M. Penn 2021-12-07 14:17:33 -06:00
commit 732b77b747
2 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/documentation/install_guide/Install-Guide.md
View File

@ -183,7 +183,7 @@ xcode-select --install
```bash
# bash
ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"
/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
```
4. Install the remaining dependencies. Currently llvm 12 with homebrew is not supported, so we need to treat it specially by installing v11 and configuring trick to use it. Also when installing java (defaults to openjdk) with homebrew, we need to add it to our path.

2
include/trick/CheckPointRestart.hh
View File

@ -134,8 +134,6 @@ namespace Trick {
*/
int set_safestore_enabled(bool yes_no) ;
/**
/**
@brief @userdesc Command to get the name of the checkpoint dump file.
@par Python Usage: