Build:

1) run hdlmake
$ hdlmake
2) create the project
$ make project
3) Run libero
$ libero
4) Open the project.
5) open `constraint manager`.  In I/O attributes, disable
      'reserve pins for device migration'
  and 'Reserve Pins for Probes' 
6) Synthesis, place, route...

Note: the system part is done manually to tune the logic.

Note: it is not possible to put the ENVM content in the
bitstream, because libero doesn't know the ENVM is used.
The trick is to add a system but not using it.
