diff options
| author | Karen Arutyunov <karen@codesynthesis.com> | 2020-06-06 22:42:16 +0300 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2021-09-20 16:06:46 +0200 |
| commit | 2181ec73117f2e18cc622ead6256c8104b631214 (patch) | |
| tree | c9d1bb2a8d3140b6cc6dd162be8129f14e38a717 /INSTALL | |
| parent | a599248e9dfab9f5d57c06bed56f75941cb00047 (diff) | |
Use ad hoc recipe for parsing code and documentation generating
The overall approach is to store pre-generated bootstrap options.?xx
and cli.{1,xhtml} and automatically update them in the development
build (config.cli.develop=true). See README.md in the root of the
repository for details.
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/INSTALL b/INSTALL deleted file mode 100644 index 19bc883..0000000 --- a/INSTALL +++ /dev/null @@ -1,30 +0,0 @@ -CLI uses itself for command line options parsing which makes it a bit tricky -to develop. Below is one way to setup the development environment: - -$ git clone .../cli.git -$ cd cli -$ bdep init -C ../builds/main @main cc # Main build. -$ bdep update # Using pre-geneared code. -$ bdep init -d cli/ -C ../builds/save @save cc # "Saved" build. -$ bdep update @save - -# @@ This does not currently work because bdep (bpkg) will drop it on next -# sync (reconfigure). -# -#$ b configure: ../builds/main/cli/ \ -# config.cli="$(realpath ../builds/save/cli/cli/cli)" - -$ echo >>../builds/main/build/config.build \ - "cli/ config.cli=$(realpath ../builds/save/cli/cli/cli)" - -$ bdep update # Regenerate code. - -Then, when making changes that affect the generated code, perform the -following sequence of steps (the key thing to keep in mind is that the saved -configuration will use generated code from source directory that is -backlinked during the main build): - -$ b cli/ # Regenerate using old saved. -$ bdep update @save # Update saved. -$ b cli/ # Regenerate using new saved. -$ bdep update @save # Update saved. |