Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings

Commit 3847be1

Browse files
Merge pull request #101 from 11D-Beyonder/ztz_dev
doc(godel-script): Provide supplementary explanations regarding the c...
2 parents b46e929 + 7b4f504 commit 3847be1

File tree

1 file changed

+23
-7
lines changed

1 file changed

+23
-7
lines changed

‎godel-script/README.md

Lines changed: 23 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -52,24 +52,39 @@ Structure of this project:
5252
+-- src godel-frontend source code
5353
```
5454

55+
### Environment
56+
5557
Need C++ standard at least `-std=c++17`.
5658

59+
On Ubuntu, you are expected to install the following packages before compiling.
60+
61+
```bash
62+
sudo apt install -y git build-essential libffi-dev m4 cmake libsqlite3-dev zlib1g-dev
63+
```
64+
65+
For convenience, we recommend directly using the [Dev Container plugin](https://marketplace.visualstudio.com/items?itemName=ms-vscode-remote.remote-containers) of VSCode. The configuration files are in `godel-script/.devcontainer/`.
66+
67+
5768
### Apply Patch On Soufflé Submodule
5869

59-
GödelScript uses a self-modified soufflé from a much older branch of public soufflé,
60-
now we use patch to make sure it could be built successfully.
70+
GödelScript uses a self-modified soufflé from a much older branch of public soufflé. Use these commands to clone.
71+
72+
```bash
73+
git submodule init
74+
git submodule update --recursive
75+
```
6176

62-
Use this command to apply patch:
77+
Now we use patch to make sure it could be built successfully. Use these commands to apply patch:
6378

6479
```bash
65-
cd souffle
80+
cd godel-backend/souffle
6681
git am ../0001-init-self-used-souffle-from-public-souffle.patch
6782
```
6883

6984
Use these commands to revert:
7085

7186
```bash
72-
cd souffle
87+
cd godel-backend/souffle
7388
git apply -R ../0001-init-self-used-souffle-from-public-souffle.patch
7489
git reset HEAD~
7590
```
@@ -79,8 +94,9 @@ git reset HEAD~
7994
Use command below:
8095

8196
```bash
82-
mkdir build && cd build && cmake .. -DCMAKE_BUILD_TYPE=Release
83-
make -j6
97+
mkdir build && cd build
98+
cmake .. -DCMAKE_BUILD_TYPE:STRING=Release
99+
cmake --build .
84100
```
85101

86102
After building, you'll find `build/godel` in the `build` folder.

0 commit comments

Comments
(0)

AltStyle によって変換されたページ (->オリジナル) /