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'

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: assignedclosed
Last edited 5 years ago by jmroot (Joshua Root) (previous) (diff)
Note: See TracTickets for help on using tickets.