On 1/19/25 19:41, Noam Pasman wrote:
line 8: metamath: command not found
I assume this means I have to install metamath-exe?
Yup!
I downloaded it and tried to run "gcc *.c -o metamath" but got another
error:
zsh: no matches found: *.c
Does this mean I don't have GCC and need to download it?
The error means there are no files named *.c in the current directory.
Did you cd to the src directory? The version of the above command, at
least in the version of metamath-exe from git, is
cd src && gcc m*.c -o metamath
As for whether you have gcc, you can run "gcc -v" to print the gcc
version if gcc is available.
Or is there a way to validate and format without it (preferably
without metamath-exe entirely)?
You can make a github fork and push up a pull request to run the tests
there.
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion visit
https://groups.google.com/d/msgid/metamath/66639fbf-896d-4cdc-8895-f7d1899f3031%40panix.com.
