1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
Commit Graph

13 Commits

Author SHA1 Message Date
Gaëtan Harter
ca5d13cc2a pkg/*: adapt to new state file targets
Prepare for handling pkg state with files. So it requires having the
path defined before declaring targets. In addition, it cleans up the
old git-download target.
2020-01-08 20:55:19 +01:00
ce9b1e3826 pkg: remove not needed git-downloaded dependencies
This is implicitly done by the "pkg-prepare"-step of the main make
instance.
2019-06-28 09:38:44 +02:00
cladmi
d55ae9c7f9
pkg/jerryscript: remove unnecessary export and fix indent 2018-12-19 14:27:45 +01:00
cladmi
c4f8c006c4
pkg/jerryscript: use 'make -f' instead of copying makefile 2018-12-19 14:27:32 +01:00
cladmi
da3c075d1d
pkg/jerryscript: update rules
Remove unknown rules from .PHONY.
Make 'all' be the default target for jerryscript and execute `all` target.
This way no definition order issue could happen in the future.
2018-12-19 14:26:55 +01:00
Martine Lenders
73e036d4eb jerryscript: bump version
Alternative to #9735, as it [includes that fix in upstream][851f4].

[851f4]: 851f4f0b89
2018-08-21 11:22:22 +02:00
Anthony
a650a43df2 pkg/jerryscript: update Javascript example up to date 2018-06-04 16:22:23 +02:00
smlng
8e24e0fa78 pkg/jerryscript: disable compiler warnings on macOS 2017-12-19 12:21:42 +01:00
smlng
2519bf2f4d pkg/jerryscript: bump version 2017-12-19 12:21:06 +01:00
7142a273dd pkg/*: put $(MAKE) in quotes in all packages 2017-12-18 14:53:54 +01:00
9ba90e2ae6 pkg: jerryscript: bump version 2017-10-23 10:08:52 +02:00
Robert Sipka
f393c015dd pkg/jerryscript: update jerryscript package with the latest version (56802c22)
Also disabled to build jerry-libm because it is unused.
2017-04-28 14:29:52 +02:00
Emmanuel Baccelli
6ce3abf6ed pkg: add jerryscript package 2017-03-22 16:19:49 +01:00