Makefile 948 B

123456789101112131415161718192021222324252627282930
  1. # This file is part of makefilet.
  2. #
  3. # makefilet is free software: you can redistribute it and/or modify
  4. # it under the terms of the GNU General Public License as published by
  5. # the Free Software Foundation, either version 3 of the License, or
  6. # (at your option) any later version.
  7. #
  8. # makefilet is distributed in the hope that it will be useful,
  9. # but WITHOUT ANY WARRANTY; without even the implied warranty of
  10. # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  11. # GNU General Public License for more details.
  12. #
  13. # You should have received a copy of the GNU General Public License
  14. # along with makefilet. If not, see <http://www.gnu.org/licenses/>.
  15. include main.mk
  16. help:
  17. @$(info Targets of makefilet:)
  18. @$(info * nothing special)
  19. build:
  20. # nothing to be done
  21. install:
  22. install -D -t "$(DESTDIR)/usr/include/makefilet" main.mk
  23. find include -type f -name "*.mk" \
  24. | xargs install -D -t "$(DESTDIR)/usr/include/makefilet/include"