Skip to content

Document git submodule update in COMPILING.md #2570

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 5 commits into from
Jul 12, 2018
Merged

Document git submodule update in COMPILING.md #2570

Changes from 2 commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
b5075d7
Document git submodule update in COMPILING.md
Jul 10, 2018
d5f3c32
Fix a typo JMBC->JBMC
Jul 10, 2018
206f7fb
Include submodule update in jbmc/README.md
Jul 10, 2018
f7ddb02
Remove --recursive from git submodule update
Jul 10, 2018
aad1692
Add minisat download to jbmc/README.md
Jul 12, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 12 additions & 8 deletions COMPILING.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -66,7 +66,7 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution.

5. To compile JBMC, do
```
make -C jbmc/src java-models-library-download
make -C jbmc/src setup-submodules
make -C jbmc/src
```

Expand All @@ -92,7 +92,7 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution.
```
4. To compile JBMC, type
```
gmake -C jbmc/src java-models-library-download
gmake -C jbmc/src setup-submodules
gmake -C jbmc/src
```

Expand All @@ -118,7 +118,7 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution.
```
4. To compile JBMC, do
```
gmake -C jbmc/src java-models-library-download
gmake -C jbmc/src setup-submodules
gmake -C jbmc/src
```

Expand All @@ -144,7 +144,7 @@ Follow these instructions:
```
4. To compile JBMC, do
```
make -C jbmc/src java-models-library-download
make -C jbmc/src setup-submodules
make -C jbmc/src
```

Expand Down Expand Up @@ -185,9 +185,9 @@ Follow these instructions:
make -C src DOWNLOADER=wget minisat2-download
make -C src
```
5. To compile JMBC, open the Cygwin shell and type
5. To compile JBMC, open the Cygwin shell and type
```
make -C jbmc/src java-models-library-download
make -C jbmc/src setup-submodules
make -C jbmc/src
```

Expand Down Expand Up @@ -240,7 +240,11 @@ require manual modification of build files.
2. Navigate to the *top level* folder of the project. This is different from
the Makefile build, which requires you to navigate to the `src` directory
first.
3. Generate build files with CMake:
3. Update git submodules:
```
git submodule update --init --recursive
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

--recursive is not needed

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

While I agree, this should really propagate to not use this in make setup-submodules either.

```
4. Generate build files with CMake:
```
cmake -H. -Bbuild
```
Expand All @@ -264,7 +268,7 @@ require manual modification of build files.
Finally, to enable building universal binaries on macOS, you can pass the
flag `-DCMAKE_OSX_ARCHITECTURES=i386;x86_64`. If you don't supply this flag,
the build will just be for the architecture of your machine.
4. Run the build:
5. Run the build:
```
cmake --build build
```
Expand Down