https://github.com/gmalecha/coq-plugin-template

Template for Coq plugins
https://github.com/gmalecha/coq-plugin-template

Last synced: about 1 month ago
JSON representation

Template for Coq plugins

• Host: GitHub
• URL: https://github.com/gmalecha/coq-plugin-template
• Owner: gmalecha
• License: mit
• Created: 2016-04-14T15:47:35.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-10-07T02:46:21.000Z (about 8 years ago)
• Last Synced: 2023-04-30T20:32:50.599Z (over 1 year ago)
• Language: Makefile
• Size: 3.91 KB
• Stars: 5
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# coq-plugin-template

Template for Coq plugins

## Use ##

Get up and running in a few simple steps:

  1) Fork this repository.

  2) Choose a name for your plugin, e.g. "awesome_plugin".

  3) Rename ```src/name_plugin.ml4``` into the name of your plugin.

  4) Run ```git grep FIXME``` and replace "name" with your plugin name

     in each place.

  5) Update the ```_CoqProject``` file to reflect your name.

  6) Run ```make``` and check out ```test-suite/demo.v```

  

  7) Update the LICENSE file by completing the line for your copyright claim or add your own license statement if you don't want to use MIT.

All done.