Field G. Van Zee 99dee87f30 Reimplemented flatten-headers.sh in python. ...

Details:
- Added flatten-headers.py, a python implementation of the bash script
  flatten-headers.sh. The new script appears to be 25-100x faster,
  depending on the operating system, filesystem, etc. The python script
  abides by the same command line interface as its predecessor and
  targets python 2.7 or later. (Thanks to Devin Matthews for suggesting
  that I look into a python replacement for higher performance.)
- Activated use of flatten-headers.py in common.mk via the FLATTEN_H
  variable.
- Made minor tweaks to flatten-headers.sh such as spelling corrections
  in comments.

2017-12-17 16:47:27 -06:00

..

auto-detect

Miscellaneous tweaks and fixes.

2017-11-13 14:24:29 -06:00

gen-make-frags

Implemented runtime kernel management.

2017-10-18 13:29:32 -05:00

old

Generate/compile with/install monolithic blis.h.

2017-11-28 15:16:22 -06:00

templates

Change to /bin/sh.

2017-05-17 12:29:44 -05:00

bli_config.h.in

Implemented runtime kernel management.

2017-10-18 13:29:32 -05:00

bump-version.sh

Change to /bin/sh.

2017-05-17 12:29:44 -05:00

check-test.sh

Change to /bin/sh.

2017-05-17 12:29:44 -05:00

config.mk.in

Makefile updates for test drivers, testsuite.

2017-10-20 13:57:21 -05:00

flatten-headers.py

Reimplemented flatten-headers.sh in python.

2017-12-17 16:47:27 -06:00

flatten-headers.sh

Reimplemented flatten-headers.sh in python.

2017-12-17 16:47:27 -06:00

mirror-tree.sh

Change to /bin/sh.

2017-05-17 12:29:44 -05:00

update-version-file.sh

Change to /bin/sh.

2017-05-17 12:29:44 -05:00