Opened 5 years ago

Closed 5 years ago

#60336 closed defect (fixed)

fstar-devel: Hunk #1 FAILED at 294

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

Description

​https://build.macports.org/builders/ports-10.7_x86_64-builder/builds/21242/steps/install-port/logs/stdio 

Executing:  cd "/opt/local/var/macports/build/_opt_bblocal_var_buildworker_ports_build_ports_lang_fstar/fstar-devel/work/FStar-33315726fc8832d033feda451b269b4713f14a49" && /usr/bin/patch -p0 < '/opt/bblocal/var/buildworker/ports/build/ports/lang/fstar/files/fstar-devel/patch-fix-make-cmd'
DEBUG: system:  cd "/opt/local/var/macports/build/_opt_bblocal_var_buildworker_ports_build_ports_lang_fstar/fstar-devel/work/FStar-33315726fc8832d033feda451b269b4713f14a49" && /usr/bin/patch -p0 < '/opt/bblocal/var/buildworker/ports/build/ports/lang/fstar/files/fstar-devel/patch-fix-make-cmd'
patching file src/ocaml-output/Makefile
Hunk #1 FAILED at 294.

Change History (1)

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

Resolution: → fixed
Status: assigned → closed

In 202eaebc57fa1551ee7d8a03a9f893030f404a61/macports-ports (master):

fstar-devel: Drop now-unnecessary patch, and revision bump dependents.

Unfortunately, this patch applied successfully in testing, but failed on
macOS, due to my FreeBSD test system's more forgiving patch(1) with
support for fuzzy matching.

Closes: #60336

Note: See TracTickets for help on using tickets.