alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

fix paths mentioning buddy/src/.libs

Browse source 
Those had been incorrectly renamed to buddy/spot/.libs when we rename
the main src/ directory into spot/.  This only affected the setting of
DYLD_LIBRARY_PATH, that used to be needed on Darwin.

* doc/org/.dir-locals.el.in, doc/org/init.el.in, python/ajax/spotcgi.in,
tests/run.in: Fix the PATH.
This commit is contained in:
Alexandre Duret-Lutz 2016-02-12 14:02:47 +01:00
parent fbdd146565
commit 064ccd5c05
4 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

4
python/ajax/spotcgi.in
View file

@ -1,6 +1,6 @@
#!@PYTHON@
# -*- mode: python; coding: utf-8 -*-
# Copyright (C) 2011, 2012, 2013, 2014, 2015 Laboratoire de Recherche et
# Copyright (C) 2011, 2012, 2013, 2014, 2015, 2016 Laboratoire de Recherche et
# Développement de l'Epita (LRDE).
#
# This file is part of Spot, a model checking library.
@ -202,7 +202,7 @@ if ('SERVER_SOFTWARE' in os.environ and
# Darwin needs some help in figuring out where non-installed libtool
# libraries are (on this platform libtool encodes the expected final
# path of dependent libraries in each library).
m = '../.libs:@top_builddir@/spot/.libs:@top_builddir@/buddy/spot/.libs'
m = '../.libs:@top_builddir@/spot/.libs:@top_builddir@/buddy/src/.libs'
os.environ['DYLD_LIBRARY_PATH'] = m
try: