view files/patch-uwsgiconfig.py @ 2:003d10e103ef

A new port named www/uwsginl which is www/uwsi with the "nolang" profile and some additional embedded plugins. The additional plugins are: - cgi - clock_realtime - echo - logpipe And all the default embedded plugins from "base.ini" are embedded too (of course). The big difference of the "nolang" profile to "core" is that core has no embedded plugins.
author Franz Glasner <hg@dom66.de>
date Fri, 15 Sep 2017 21:59:09 +0200
parents 748e69c58ee3
children 4dbd28bdcc60
line wrap: on
line source

--- uwsgiconfig.py.orig	2015-10-07 04:34:01 UTC
+++ uwsgiconfig.py
@@ -784,15 +784,6 @@ class uConf(object):
             self.cflags.append('-DUWSGI_HAS_IFADDRS')
             report['ifaddrs'] = True
 
-        if uwsgi_os in ('FreeBSD', 'OpenBSD'):
-            if self.has_include('execinfo.h') or os.path.exists('/usr/local/include/execinfo.h'):
-                if os.path.exists('/usr/local/include/execinfo.h'):
-                    self.cflags.append('-I/usr/local/include')
-                    self.ldflags.append('-L/usr/local/lib')
-                self.cflags.append('-DUWSGI_HAS_EXECINFO')
-                self.libs.append('-lexecinfo')
-                report['execinfo'] = True
-
         if uwsgi_os == 'GNU/kFreeBSD':
             if self.has_include('execinfo.h'):
                 self.cflags.append('-DUWSGI_HAS_EXECINFO')