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
