mirror of
https://github.com/aolofsson/oh.git
synced 2025-01-30 02:32:53 +08:00
4 lines
86 B
Coq
4 lines
86 B
Coq
|
//These constants are mutually exclusive
|
||
|
|
`define TARGET_CLEAN
|
||
|
|
//`define TARGET_XILINX
|