diff setup.py @ 719:56aa0e98c92e

frontends tools: moved src/tools/frontends to frontends/src/tools
author souliane <souliane@mailoo.org>
date Thu, 21 Nov 2013 18:57:10 +0100
parents cac98ca76479
children 6dbe0ff5f38d
line wrap: on
line diff
--- a/setup.py	Thu Nov 21 18:23:08 2013 +0100
+++ b/setup.py	Thu Nov 21 18:57:10 2013 +0100
@@ -160,7 +160,7 @@
       package_dir={'sat': 'src', 'sat_frontends': 'frontends/src'},
       packages=['sat', 'sat.tools', 'sat.bridge', 'sat.plugins', 'sat.test', 'sat.core', 'sat.memory',
                 'sat_frontends', 'sat_frontends.bridge', 'sat_frontends.quick_frontend',
-                'sat_frontends.primitivus', 'sat_frontends.wix'],
+                'sat_frontends.primitivus', 'sat_frontends.wix', 'sat_frontends.tools'],
       package_data={'sat': ['sat.tac', 'sat.sh'],
                     'sat_frontends': ['wix/COPYING']},
       data_files=[(os.path.join(sys.prefix, 'share/locale/fr/LC_MESSAGES'), ['i18n/fr/LC_MESSAGES/sat.mo']),