Ignore:
Timestamp:
Feb 7, 2012, 6:01:43 PM (9 years ago)
Author:
ayache
Message:

Frama-C plug-in (sources+documentation)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D5.1-5.3/cost-plug-in/Makefile

    r1462 r1679  
    11PACKAGE=cost-plug-in
    22PACKAGE_RES=$(PACKAGE).tgz
     3
     4JESSIE=frama-c_jessie
    35
    46all:
     
    79
    810install:
     11        mkdir -p /usr/local/bin
     12        cp $(JESSIE) /usr/local/bin/
    913        make -C plugin install
    1014        make -C wrapper install
Note: See TracChangeset for help on using the changeset viewer.