Skip to content

Instantly share code, notes, and snippets.

@ajorg
Created January 4, 2011 16:55
Show Gist options
  • Save ajorg/765027 to your computer and use it in GitHub Desktop.
Save ajorg/765027 to your computer and use it in GitHub Desktop.
diff --git a/src/fsharp/targets.make b/src/fsharp/targets.make
index 633ff2a..34b2c4b 100644
--- a/src/fsharp/targets.make
+++ b/src/fsharp/targets.make
@@ -81,7 +81,7 @@ install-lib-2 install-lib-4:
@gacutil -i $(outdir)$(ASSEMBLY) -root $(DESTDIR)/$(libdir) -package fsharp-$(TARGET)
install-bin-2 install-bin-4:
- sed -e 's,[@]DIR[@],$(DESTDIR)$(libdir)mono/fsharp-$(TARGET),g' -e 's,[@]TOOL[@],fsc.exe,g' < $(topdir)launcher.in > $(outdir)$(NAME)$(VERSION)
+ sed -e 's,[@]DIR[@],$(libdir)mono/fsharp-$(TARGET),g' -e 's,[@]TOOL[@],fsc.exe,g' < $(topdir)launcher.in > $(outdir)$(NAME)$(VERSION)
chmod +x $(outdir)$(NAME)$(VERSION)
@mkdir -p $(DESTDIR)/$(libdir)
@mkdir -p $(DESTDIR)/$(bindir)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment