pkgs/by-name/at/ats/install-atsdoc-hats-files.patch

   1 --- ats-lang-anairiats-0.2.11/Makefile  2013-12-10 00:43:52.000000000 +0100
   2 +++ ats-lang-anairiats-0.2.11/Makefile  2014-03-02 07:49:06.985837425 +0100
   3 @@ -97,7 +97,7 @@
   4         cd $(abs_top_srcdir)
   5         [ -d $(bindir2) ] || $(MKDIR_P) $(bindir2)
   6         $(MKDIR_P) $(ATSLIBHOME2)/bin
   7 -       find ccomp contrib doc libats libc prelude -type d \
   8 +       find ccomp contrib doc libats libatsdoc libc prelude -type d \
   9           -exec $(MKDIR_P) $(ATSLIBHOME2)/\{} \; \
  10           -print
  11
  12 @@ -105,7 +105,7 @@
  13  #
  14  # recursively install all files in the list except .svn control files.
  15  #
  16 -       for d in ccomp/runtime contrib doc libats libc prelude; do \
  17 +       for d in ccomp/runtime contrib doc libats libatsdoc libc prelude; do \
  18           cd $(abs_top_srcdir) && \
  19           $(INSTALL) -d $(ATSLIBHOME2)/"$$d" && \
  20           find "$$d" -name .svn -prune -o -type f \
  21 @@ -143,6 +143,17 @@
  22           $(INSTALL) -m 755 ats_env.sh $(bindir2)/"$$b" && \
  23           echo [ats_env.sh] is installed into $(bindir2)/"$$b"; \
  24         done
  25 +#
  26 +# install atsdoc headers
  27 +#
  28 +       for f in \
  29 +           utils/atsdoc/SATS/*.sats utils/atsdoc/DATS/*.dats utils/atsdoc/HATS/*.hats; \
  30 +       do \
  31 +         [ -f "$$f" ] || continue; \
  32 +         cd $(abs_top_srcdir) && \
  33 +         $(INSTALL) -m 644 -D "$$f" $(ATSLIBHOME2)/"$$f" && \
  34 +         echo "$$f"; \
  35 +       done
  36
  37  install:: install_files
  38