su4sml - an SML repository for managing (Secure)UML/OCL models
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Makefile 3.2KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778
  1. ##############################################################################
  2. # su4sml --- an SML repository for managing (Secure)UML/OCL models
  3. # http://projects.brucker.ch/su4sml/
  4. #
  5. # Makefile ---
  6. # This file is part of su4sml.
  7. #
  8. # Copyright (c) 2005-2007, ETH Zurich, Switzerland
  9. #
  10. # All rights reserved.
  11. #
  12. # Redistribution and use in source and binary forms, with or without
  13. # modification, are permitted provided that the following conditions are
  14. # met:
  15. #
  16. # * Redistributions of source code must retain the above copyright
  17. # notice, this list of conditions and the following disclaimer.
  18. #
  19. # * Redistributions in binary form must reproduce the above
  20. # copyright notice, this list of conditions and the following
  21. # disclaimer in the documentation and/or other materials provided
  22. # with the distribution.
  23. #
  24. # * Neither the name of the copyright holders nor the names of its
  25. # contributors may be used to endorse or promote products derived
  26. # from this software without specific prior written permission.
  27. #
  28. # THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  29. # "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  30. # LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  31. # A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  32. # OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  33. # SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  34. # LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  35. # DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  36. # THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  37. # (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  38. # OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  39. ##############################################################################
  40. # $Id: AVL_test.thy 40058 2007-06-29 21:40:20Z brucker $
  41. DATE=$(shell date)
  42. BOTTOM="generated on $(DATE)"
  43. .PHONY: doc apidoc tags
  44. doc:
  45. smldoc --directory=doc --linksource --showsummary \
  46. --overview=doc/overview.html \
  47. --bottom=$(BOTTOM)\
  48. -c utf8 \
  49. --linksource\
  50. --listsubmodule\
  51. --windowtitle="SU4SML_Documentation ($(DATE))" \
  52. `find src -name "*.sml" -or -name "*.sig"`
  53. apidoc:
  54. smldoc --windowtitle="SU4SML API Documentation" --hidebysig --directory=doc/api --linksource --showsummary --overview=doc/overview.html src/su4sml.cm
  55. codegen-doc:
  56. smldoc --windowtitle="GCG Documentation" --directory=codegen-doc --linksource --showsummary --overview=doc/overview.html --linkoffline=../doc@doc/module-list src/codegen/codegen.cm
  57. tags:
  58. cd src && etags --language=none --regex='/^\(datatype\|type\|val\|fun\|structure\|signature\)[ \t]*\([^ \t]*\)/\2/' *.sml *.sig codegen/*.sml codegen/*.sig
  59. su4sml:
  60. mlton src/su4sml.cm
  61. # (cd src && echo "val _ = use \"ROOT.ML\"; val _ = OS.Process.exit 0" | sml ) || true
  62. rep_parser:
  63. ml-build src/su4sml.cm RepParser.test src/rep_parser
  64. repsecure_parser:
  65. ml-build src/su4sml.cm Rep_SecureUML_ComponentUML.test src/repsecure_parser
  66. codegen:
  67. ml-build src/codegen/codegen.cm Codegen.main codegen