Documentation
¶
Overview ¶
rocq_makefile gets info from `rocq makefile` for installation.
This is needed to install Rocq outputs to the opam switch, which requires converting logical paths to physical paths, and finding the opam switch.
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func DestinationOf ¶
DestinationOf determines the installation path for a compiled file. Returns the directory for the file `target`.
It uses "rocq makefile -destination-of" to identify where the target file (typically a .vo file) should be installed, the same as the rocq makefile `install` rule.
func GetMakefileVars ¶
GetMakefileVars extracts variable values from a Makefile.
It does this by running make (using a temporary Makefile to provide a rule to just print values).
func GetRocqVars ¶
GetRocqVars extracts the COQLIBS and COQLIBINSTALL variables that rocq makefile generates.
It uses _RocqProject (falling back to _CoqProject) for the COQLIBS configuration.
Types ¶
This section is empty.
Source Files