Opened 5 years ago

Closed 5 years ago

Last modified 5 years ago

#59484 closed defect (fixed)

fstar, fstar-devel: ocamlfind: Package `camlp4' not found - required by `ulex'

Reported by: ryandesign (Ryan Carsten Schmidt) Owned by: landonf (Landon Fuller)
Priority: Normal Milestone:
Component: ports Version: 2.6.2
Keywords: Cc:
Port: fstar, fstar-devel

Description

​Lots of problems with fstar-devel: 

Warning: could not find "msbuild", trying (deprecated) "xbuild"

fatal: not a git repository (or any of the parent directories): .git
Not a git repository
To compare two paths outside a working tree:
usage: git diff [--no-index] <path> <path>

Warning: you are using the standard library and/or the %inline keyword. We
recommend switching on --infer in order to avoid obscure type error messages.

/bin/sh: line 0: [: 06 shift/reduce conflicts.: integer expression expected

ocamlfind: Package `camlp4' not found - required by `ulex'
Command exited with code 2.

Change History (3)

comment:1 Changed 5 years ago by ryandesign (Ryan Carsten Schmidt)

Port: fstar added
Summary: fstar-devel: ocamlfind: Package `camlp4' not found - required by `ulex' → fstar, fstar-devel: ocamlfind: Package `camlp4' not found - required by `ulex'

​Same with fstar.

comment:2 Changed 5 years ago by ryandesign (Ryan Carsten Schmidt)

Owner: changed from landonf to landonf@…

Landon, for some reason your GitHub handle isn't known to Trac...

comment:3 Changed 5 years ago by landonf (Landon Fuller)

Resolution: → fixed
Status: assigned → closed

Should be resolved as of commit [c73d093e53bd977846562e740077d66719a9298e/macports-ports]

Last edited 5 years ago by jmroot (Joshua Root) (previous) (diff)
Note: See TracTickets for help on using tickets.