This document describes how to update the Simplicity C code subtree in the Elements repository.
Reference: BlockstreamResearch/simplicity#329 (comment)
-
Clone or pull the latest
masterbranch of the Simplicity repository. -
Split out a new subtree of the Simplicity
Csource to theC-masterbranch.
git subtree split -P C -b C-master
- Push the
C-masterbranch to a public remote.
git push <remote> C-master
- Add a reference to the above simplicity remote in your Elements repo.
git remote add <new-remote-name> git@github.com:<user>/simplicity.git
- Pull and squash the
C-masterbranch subtree into thesrc/simplicitydirectory in Elements.
git subtree pull --prefix src/simplicity <new-remote-name> C-master --squash
-
Run build and tests.
-
Create a new PR to Elements.