[question] How to write the 'require' line in lakefile.lean to use the pre-installed Lean library?

I have the Std library installed as a package which provides these files.
They are the same files that 'lake build' left in the .lake/build folder when Std was built.

When some lake project has import Std, for example:

import Std

def main (args : List String) : IO Unit :=
  IO.println "Hello, world!"

lake build fails:

ld: error: undefined symbol: initialize_Std

This is because the require line is missing in lakefile.lean.

But how to write this require line?

This require line expects the checked out project with lakefile.lean:

require std from "/usr/local"

What would be the correct syntax for the require line that would pick up the pre-installed Lean library?

Start with the lakefile.lean dependency declaration and the example containing import Std, then reproduce the failure with lake build. Determine the require syntax that uses the pre-installed Std files and leaves the example building without the initialize_Std linker error.