¿Cómo definir correctamente la dependencia de v7 appcompat?

Estoy tratando de obtener un proyecto de Android (heredado) para construir. Estoy usandoHerramientas de línea de comando y hormiga (e IDEA).

En styles.xml, hay referencias que no se pueden resolver, tales como:

<style name="AppBaseTheme" parent="@style/Theme.AppCompat.Light">

Este es el error original que encontré:

[...]/res/values/styles.xml:8: error: Error retrieving parent for item:
No resource found that matches the given name '@style/Theme.AppCompat.Light'.

Entonces me di cuenta de queproject.properties tiene esta referencia de appcompat que está dañada en mi máquina (OS X):

target=android-18
android.library.reference.1=../../../../adt-bundle-linux-x86_64/sdk/extras/android/support/v7/appcompat

Traté de arreglar eso haciendo la referencia relativa a${sdk.dir}:

android.library.reference.1=${sdk.dir}/extras/android/support/v7/appcompat

Así que ahora ese camino debe ser correcto. Pero ahora cuando corroant debug:

BUILD FAILED
/opt/android-sdk-macosx/tools/ant/build.xml:573: 
  /opt/android-sdk-macosx/extras/android/support/v7/appcompat resolve to a 
  path with no project.properties file for project /Users/joka/devel/project/

Entonces, ¿alguna idea? ¿Cuál es la forma más sencilla de construir este proyecto?

(Tenga en cuenta que los consejos específicos de Ecplise no serán útiles para mí).

Editar: La instalación del SDK de Android se ve así:

Respuestas a la pregunta(3)

Su respuesta a la pregunta