Skip to content

Commit 083ed97

Browse files
committed
Change format of release package
Now Synlig will work properly when launched from local directory.
1 parent 5aff1dd commit 083ed97

File tree

3 files changed

+20
-16
lines changed

3 files changed

+20
-16
lines changed

.ci.yml

Lines changed: 8 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -86,8 +86,14 @@ build_package:
8686
- apt update && apt install -y $BUILD_DEPENDENCIES
8787
- echo "##/ Build yosys, surelog and synlig binaries \##"
8888
- git submodule sync && git submodule update --init --recursive third_party/{surelog,yosys}
89-
- make install -j $(nproc) DESTDIR=out
90-
- (cd out && tar -zcvf release.tar.gz usr)
89+
- make install -j $(nproc) PREFIX=out
90+
- mkdir synlig
91+
- cp out/bin/synlig synlig/
92+
- cp -r out/share/synlig synlig/share
93+
- tar -zcvf release.tar.gz synlig
94+
artifacts:
95+
paths:
96+
- release.tar.gz
9197

9298
.job_template: &parsing_test
9399
stage: "Run parsing and formal verification tests"

.github/workflows/main.yml

Lines changed: 6 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -91,7 +91,7 @@ jobs:
9191
apt-extra-deps: 'gcc g++'
9292
cc: 'gcc'
9393
cxx: 'g++'
94-
build-binaries-args: 'install DESTDIR=out'
94+
build-binaries-args: 'install PREFIX=out'
9595
name: ${{ matrix.name }}
9696
runs-on: [self-hosted, Linux, X64, gcp-custom-runners]
9797
container: debian:bookworm
@@ -328,7 +328,10 @@ jobs:
328328
329329
- name: Prepare tarball
330330
run: |
331-
(cd out && tar -zcvf release.tar.gz usr)
331+
mkdir synlig
332+
cp out/bin/synlig synlig/
333+
cp -r out/share/synlig synlig/share
334+
tar -zcvf release.tar.gz synlig
332335
333336
- name: Name tarball and apply TAG
334337
run: |
@@ -339,7 +342,7 @@ jobs:
339342
TAG="${TAG:-$(git show -s --date=short --format=%cd-%h)}"
340343
git tag "$TAG" || true
341344
echo "TAG=$TAG" >> $GITHUB_ENV
342-
mv out/release.tar.gz $FULL_TARBALL
345+
mv release.tar.gz $FULL_TARBALL
343346
tar -tvf $FULL_TARBALL
344347
345348
- name: Get PR data

README.md

Lines changed: 6 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -12,12 +12,14 @@ You can download Synlig from the GitHub [release page](https://github.com/chipsa
1212
To download the latest version, use the following script:
1313

1414
```bash
15-
curl https://api.github.com/repos/chipsalliance/synlig/releases/latest | jq -r '.assets | .[] | select(.name | startswith("synlig")) | .browser_download_url' | xargs wget
15+
curl https://api.github.com/repos/chipsalliance/synlig/releases/latest | jq -r '.assets | .[] | select(.name | startswith("synlig")) | .browser_download_url' | xargs wget -O - | tar -xz
1616
```
17-
Then, you can install it by unpacking archive with superuser privileges:
1817

19-
```bash
20-
tar -C / -xf synlig-*.tar.gz
18+
To use Synlig, make sure to either use absolute paths, or update the `PATH` variable before use.
19+
20+
<!-- name="path-setup" -->
21+
``` bash
22+
export PATH=`pwd`/synlig:$PATH
2123
```
2224

2325
Synlig is now ready to be used.
@@ -46,13 +48,6 @@ You can build all required binaries using the provided `Makefile`.
4648
make install -j$(nproc)
4749
```
4850

49-
To use Synlig, make sure to either use absolute paths, or update the `PATH` variable before use.
50-
51-
<!-- name="path-setup" -->
52-
``` bash
53-
export PATH=`pwd`/out/current/bin:$PATH
54-
```
55-
5651
## Usage
5752

5853
You can now start Synlig by executing the `synlig` command.

0 commit comments

Comments
 (0)