ci: Bump prjtrellis version
Signed-off-by: gatecat <gatecat@ds0.me>
This commit is contained in:
parent
d3688982ac
commit
9c9a02628d
@ -47,7 +47,7 @@ RUN set -e -x ;\
|
||||
cd /usr/local/src ;\
|
||||
git clone --recursive https://github.com/YosysHQ/prjtrellis.git ;\
|
||||
cd prjtrellis ;\
|
||||
git reset --hard 7831b54f619d6695855525fca776543b7c827704 ;\
|
||||
git reset --hard 210a0a72757d57b278ac7397ae6b14729f149b10 ;\
|
||||
cd libtrellis ;\
|
||||
cmake . ;\
|
||||
make -j $(nproc) ;\
|
||||
|
Loading…
Reference in New Issue
Block a user