Opened 7 months ago

Closed 7 months ago

#60336 closed defect (fixed)

fstar-devel: Hunk #1 FAILED at 294

Reported by: ryandesign (Ryan 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 7 months ago by landonf (Landon Fuller)

Resolution: fixed
Status: assignedclosed

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.