Jean-Michel Picod
|
8f358b7d81
|
Move to tockloader 1.5
|
2020-08-07 16:28:39 +02:00 |
|
Guillaume Endignoux
|
67a7223802
|
Setup submodules before the rest so that GitHub workflows can find the rust-toolchain.
|
2020-08-07 15:09:07 +02:00 |
|
Guillaume Endignoux
|
e1fd1f2257
|
Remove obsolete patches for libtock-rs.
|
2020-08-07 15:09:07 +02:00 |
|
Guillaume Endignoux
|
52d276671d
|
Pin Tockloader to version 1.4, as a temporary workaround until we migrate to 1.5.
|
2020-07-23 15:06:16 +02:00 |
|
Guillaume Endignoux
|
39a3becffb
|
Address review comments.
|
2020-05-13 12:57:20 +02:00 |
|
Jean-Michel Picod
|
c9773e0f80
|
Fix dependency on tockloader 1.4
Now that it has been released and pushed to pypi, make sure that
tockloader is at least 1.4 version
|
2020-04-28 10:02:47 +02:00 |
|
Guillaume Endignoux
|
4b9486d0bd
|
Sync with upstream Tock to have reproducible builds.
|
2020-04-08 15:45:46 +02:00 |
|
Jean-Michel Picod
|
dfe901e87c
|
Adding missing intelhex python library
|
2020-03-12 13:29:07 +01:00 |
|
Jean-Michel Picod
|
49182c531a
|
Add new python dependency
|
2020-03-12 13:23:54 +01:00 |
|
Jean-Michel Picod
|
51b0e0f48a
|
Revert debug mode
|
2020-02-25 09:58:52 +01:00 |
|
Jean-Michel Picod
|
89d15f5759
|
Fix tput stopping the workflow
|
2020-02-25 09:36:20 +01:00 |
|
Jean-Michel Picod
|
1113410195
|
Debug why Github workflow is failing here
|
2020-02-25 09:27:57 +01:00 |
|
Jean-Michel Picod
|
dbde04df45
|
Fix setup script for Github
|
2020-02-24 19:34:39 +01:00 |
|
Jean-Michel Picod
|
a73837cb59
|
Fix undefined term in Github workflows
|
2020-02-24 19:31:37 +01:00 |
|
Julien Cretin
|
53b46ce6d5
|
Add instructions to re-run setup.sh
|
2020-02-10 11:30:45 +01:00 |
|
Julien Cretin
|
796261d538
|
Check that rustup and pip3 are installed
Fixes #25
|
2020-02-09 16:30:23 +01:00 |
|
Jean-Michel
|
ad3a016eee
|
Adding missing shebang
|
2020-01-31 21:02:09 +01:00 |
|
Jean-Michel Picod
|
f91d2fd3db
|
Initial commit
|
2020-01-30 11:47:29 +01:00 |
|