https://github.com/overturetool/example-packager

The Overture VDM Example Packager
https://github.com/overturetool/example-packager

Last synced: 3 months ago
JSON representation

The Overture VDM Example Packager

• Host: GitHub
• URL: https://github.com/overturetool/example-packager
• Owner: overturetool
• Created: 2014-01-10T12:24:20.000Z (over 12 years ago)
• Default Branch: master
• Last Pushed: 2015-11-10T15:19:21.000Z (over 10 years ago)
• Last Synced: 2025-01-05T09:42:02.346Z (over 1 year ago)
• Language: Java
• Homepage: http://overturetool.github.io/example-packager/
• Size: 957 KB
• Stars: 0
• Watchers: 23
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# The Overture Example Packager Tool [![Build Status](https://travis-ci.org/overturetool/example-packager.png?branch=master)](https://travis-ci.org/overturetool/example-packager)

This packages up VDM examples from the main Overture repository for distribution, web site display, etc.

## Using a release version in Maven

~~~xml

  org.overturetool.build

  example-packager-plugin

  ${example-packager.version}

  

    

    

    true

    true

    

      ${project.basedir}/VDMSL

    

    

      ${project.basedir}/VDM++

    

    

      ${project.basedir}/VDMRT

    

    ${project.basedir}/libs

  

  

    

      

        package-examples

      

    

  

~~~

## Using snapshot versions

..._to be filled in_

## Making a release

See the notes in the @overturetool/astcreator wiki: https://github.com/overturetool/astcreator/wiki/Release-Procedure