Commit graph

14 commits

Author SHA1 Message Date
Timothee Cour
b5448bf25c fix #9647 tmpl=>nimf (#9658) 2018-11-14 08:27:48 +01:00
Federico Ceratto
e435dbd35e Update makefile and buildsh templates for riscv64 (#9351) 2018-10-13 17:18:06 +02:00
Stephen
89fa438857 use more make conventions (#6789)
* use more make conventions

improves compatibility with cross compilation systems

* use make implicit rule
2017-11-22 21:38:19 +01:00
Stephen
2c584cdb3d use make default linker naming convention (#6787) 2017-11-22 15:13:07 +01:00
Sergey Avseyev
0d81ada619 Fix platform detection in makefile (#6751) 2017-11-16 02:36:36 +01:00
Sergey Avseyev
22ceab0fbb Fix little endian PPC64 architecture detection (#6713) 2017-11-11 16:55:13 -05:00
Fredrik Høisæther Rasch
c39e202976 Introduce first class support for Android (#5772) 2017-08-06 02:18:15 +02:00
James Cowgill
fed1b0a077 Add mips64 and mips64el CPU platforms (#5866) 2017-08-03 18:37:02 +02:00
def
245a1fe8d7 Minor fixes for makefile.tmpl 2017-06-20 21:33:49 +02:00
James Cowgill
675b271aa6 makefile.tmpl: fix error handling and cleanups
This changes the indentation of all non-recipe lines from tabs to 2
spaces. While this doesn't fix anything, it avoids either make or
someone interpreting those lines as a make recipe.

This also fixes the error handling by using make's $(error) function
instead. Previously make gave this syntax error whenever it hit the
error handling code:

```
*** recipe commences before first target.  Stop.
```
2017-05-18 11:18:30 +01:00
Andreas Rumpf
b99333f53a niminst updates 2016-10-21 12:12:33 +02:00
Dominik Picheta
9d001d207e Fixes #2128. Based on @infinity0's commit. 2016-06-05 14:30:47 +01:00
Adam Strzelecki
700b63ad89 Use new #? filter prefix in various places
This silences deprecation warnings and prevent collision with UNIX shebang.
2015-09-30 16:12:31 +02:00
def
02432f1052 Add makefile for csources
This should speed up compilation of csources significantly, as it can be
used with "make -j $NUMPROCS"

Only tested on Linux so far
2015-03-12 16:53:11 +01:00