403Webshell
Server IP : 82.208.35.60  /  Your IP : 216.73.216.89
Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31
System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64
User : studiokobylisy_cz ( 1008)
PHP Version : 7.3.31
Disable Function : NONE
MySQL : OFF  |  cURL : ON  |  WGET : OFF  |  Perl : OFF  |  Python : OFF  |  Sudo : OFF  |  Pkexec : OFF
Directory :  /usr/ports/lang/mlton/files/

Upload File :
current_dir [ Writeable ] document_root [ Writeable ]

 

Command :


[ Back ]     

Current File : /usr/ports/lang/mlton/files/patch-lib_mlrisc-lib_Makefile
--- lib/mlrisc-lib/Makefile.orig	2021-08-16 18:18:28 UTC
+++ lib/mlrisc-lib/Makefile
@@ -17,6 +17,9 @@ all: MLRISC/README.mlton
 MLRISC/README.mlton: MLRISC.tgz MLRISC.patch
 	$(RM) MLRISC
 	$(GZIP) -dc MLRISC.tgz | $(TAR) xf -
+	$(SED) -i.bak 's|gcc|$(CC)|g' \
+		MLRISC/c-call/varargs/interp/Makefile \
+		MLRISC/c-call/test/Makefile
 	$(FIND) MLRISC -name '._*' -prune -exec $(RM) '{}' ';'
 	$(CHMOD) -R a+r MLRISC
 	$(CHMOD) -R g-s MLRISC

Youez - 2016 - github.com/yon3zu
LinuXploit