diff options
Diffstat (limited to 'RTEMS_Makefiles/Makefile.readline-4.3')
| -rw-r--r-- | RTEMS_Makefiles/Makefile.readline-4.3 | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/RTEMS_Makefiles/Makefile.readline-4.3 b/RTEMS_Makefiles/Makefile.readline-4.3 new file mode 100644 index 0000000..b448f7d --- /dev/null +++ b/RTEMS_Makefiles/Makefile.readline-4.3 @@ -0,0 +1,18 @@ +include ../RTEMS_Makefiles/Makefile.common + +# +# Running make distclean cleans up documentation files that require +# special tools to regenerate. Work around this problem by just +# copying the documentation files from another directory. +# +all: + bash_cv_have_mbstate_t=yes ./configure \ + --host=$(RTEMS_CPU)-rtems \ + --prefix=$(exec_prefix) \ + --libdir=$(exec_prefix)/$(RTEMS_BSP)/lib \ + --includedir=$(exec_prefix)/$(RTEMS_BSP)/lib/include \ + --disable-shared + cp ../readline-doc-4.3/doc/* doc + make + cd doc ; make + make install |