diff options
| author | Vincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com> | 2023-01-06 20:09:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-06 20:09:31 +0100 |
| commit | a7bf4d3a5190521583f0887d909b6a1781f34fe9 (patch) | |
| tree | 2b0eee4c65e342461306722b9457129487e270cf /.github/for_maintainers/new_gudhi_version_creation.md | |
| parent | ed492f09ca3c9d7cd972bbbbec37f680cd624fbe (diff) | |
| parent | bdf66dca76e1047988edfd16db63251ccfe3d1e2 (diff) | |
Merge pull request #785 from VincentRouvreau/next_release_3.8.0a0
[skip ci] Update for next release, test remote python module in version creation
Diffstat (limited to '.github/for_maintainers/new_gudhi_version_creation.md')
| -rw-r--r-- | .github/for_maintainers/new_gudhi_version_creation.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/for_maintainers/new_gudhi_version_creation.md b/.github/for_maintainers/new_gudhi_version_creation.md index 9634adae..de8d0aa5 100644 --- a/.github/for_maintainers/new_gudhi_version_creation.md +++ b/.github/for_maintainers/new_gudhi_version_creation.md @@ -18,7 +18,7 @@ Checkin the modifications, build and test the version: ```bash git submodule update --init rm -rf build; mkdir build; cd build -cmake -DCMAKE_BUILD_TYPE=Release -DCGAL_DIR=/your/path/to/CGAL -DWITH_GUDHI_EXAMPLE=ON -DWITH_GUDHI_BENCHMARK=ON -DUSER_VERSION_DIR=gudhi.@GUDHI_VERSION@ -DPython_ADDITIONAL_VERSIONS=3 .. +cmake -DCMAKE_BUILD_TYPE=Release -DCGAL_DIR=/your/path/to/CGAL -DWITH_GUDHI_REMOTE_TEST=ON -DWITH_GUDHI_EXAMPLE=ON -DWITH_GUDHI_BENCHMARK=ON -DUSER_VERSION_DIR=gudhi.@GUDHI_VERSION@ -DPython_ADDITIONAL_VERSIONS=3 .. make user_version date +"%d-%m-%Y-%T" > gudhi.@GUDHI_VERSION@/timestamp.txt tar -czvf gudhi.@GUDHI_VERSION@.tar.gz gudhi.@GUDHI_VERSION@ |