docker-compose.yml

services:
  #db:
  #  image: "historia_postgres"
  #  networks:
  #    - expnet
  #  ports:
  #    - 5433:5432
  #  environment:
  #    POSTGRES_PASSWORD: heykxbgdgsvbiq
  host:
    image: "cuplv/historia"
    ports:
      - "8888:8888"
    command: bash -c "socat tcp-l:5432,fork,reuseaddr tcp:db:5432 & /home/jupyterStart.sh" #&  java -jar /home/bounder/target/scala-2.13/soot_hopper-assembly-0.1.jar --mode expLoop" #TODO: uncomment for workers
    networks:
      - expnet
    volumes:
      - ${PWD}/implementation:/home/bounder
      - ${PWD}/testApps:/home/testApps
      - ${PWD}/notebooks:/home/notebooks
      - ${PWD}/historia_generalizability:/home/historia_generalizability
      - ${PWD}/table2results:/home/table2results
      - ${PWD}/FlowDroid:/home/FlowDroid
      - ${DATA_DIR}/reach_24_data:/home/reach_24_data #must set DATA_DIR
        #  depends_on:
        #    - db
#deploy:
#resources:
#limits: #TODO: uncomment for resource limits
#  memory: 8G
#reservations:
#  memory: 8G
    # worker: # can create additional workers #TODO: uncomment for workers
    #   image: "historia"
    #   command: bash -c "socat tcp-l:5432,fork,reuseaddr tcp:db:5432 & java -jar /home/bounder/target/scala-2.13/soot_hopper-assembly-0.1.jar --mode expLoop"
    #   networks:
    #     - expnet
    #   depends_on:
    #     - db
    #   deploy:
    #    resources:
    #      limits:
    #        memory: 8G
    #      reservations:
    #        memory: 8G

networks:
  expnet: