rocq_makefile

package

v0.2.2 Latest Latest Go to latest Published: Dec 5, 2025 License: MIT Imports: 5 Imported by: 0

Details

Valid go.mod file
Redistributable license
Tagged version
Stable version
Learn more about best practices

Repository

github.com/mit-pdos/perennial-cli

Links

Open Source Insights

Documentation ¶

Index ¶

func DestinationOf(makeVars map[string]string, target string) string
func GetMakefileVars(makefilePath string, vars []string) map[string]string
func GetRocqVars() (map[string]string, error)

Constants ¶

This section is empty.

Variables ¶

This section is empty.

Functions ¶

func DestinationOf ¶

func DestinationOf(makeVars map[string]string, target string) string

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 ¶

func GetMakefileVars(makefilePath string, vars []string) map[string]string

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 ¶

func GetRocqVars() (map[string]string, error)

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 ¶

View all Source files

rocq_makefile.go

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL