_tags 834 B

123456789101112131415161718192021222324252627282930
  1. true: use_menhir
  2. true: debug,thread
  3. # OASIS_START
  4. # DO NOT EDIT (digest: f7d0480ffbedba072fa4e3359e78ffd3)
  5. # Ignore VCS directories, you can use the same kind of rule outside
  6. # OASIS_START/STOP if you want to exclude directories that contains
  7. # useless stuff for the build process
  8. true: annot, bin_annot
  9. <**/.svn>: -traverse
  10. <**/.svn>: not_hygienic
  11. ".bzr": -traverse
  12. ".bzr": not_hygienic
  13. ".hg": -traverse
  14. ".hg": not_hygienic
  15. ".git": -traverse
  16. ".git": not_hygienic
  17. "_darcs": -traverse
  18. "_darcs": not_hygienic
  19. # Executable bewertungsbogen
  20. <src/main.{native,byte}>: pkg_batteries
  21. <src/main.{native,byte}>: pkg_cmdliner
  22. <src/main.{native,byte}>: pkg_tyxml
  23. <src/main.{native,byte}>: pkg_tyxml.syntax
  24. <src/*.ml{,i,y}>: pkg_batteries
  25. <src/*.ml{,i,y}>: pkg_cmdliner
  26. <src/*.ml{,i,y}>: pkg_tyxml
  27. <src/*.ml{,i,y}>: pkg_tyxml.syntax
  28. # OASIS_STOP