Sanity Test Results

math/lean4-std:

I did not find a Makefile for this port. This command (FreshPorts code 1):

/usr/local/bin/sudo /usr/sbin/jexec freshports /make-port.sh /usr/ports
math/lean4-std
2>/tmp/FreshPorts.math.lean4-std.make-error.2024.4.28.8.42.6.77239

produced this error:

Error message is: cd: /usr/ports/math/lean4-std: No such file or directory
make: cannot open /usr/ports/math/lean4-std/Makefile.
Make results are : 
make: stopped in /