Como definir a dependência de appcompat v7 corretamente?

Estou tentando criar um projeto Android (herdado). estou a usarAnt e ferramentas de linha de comando (e IDEA).

Em styles.xml, há referências que não podem ser resolvidas como:

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

Este é o erro original que encontrei:

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

Então percebi queproject.properties tem esta referência appcompat que está quebrada na minha máquina (OS X):

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

Eu tentei consertar isso fazendo a referência relativa${sdk.dir}:

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

Então agora esse caminho deve estar correto. Mas agora quando eu 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/

Então, alguma ideia? Qual é a maneira mais simples de construir este projeto?

(Por favor, note que os conselhos específicos do Ecplise não serão úteis para mim.)

Editar: A instalação do SDK do Android se parece com isso:

questionAnswers(3)

yourAnswerToTheQuestion