Changeset c37827 in git


Ignore:
Timestamp:
Nov 16, 2010, 3:23:40 PM (13 years ago)
Author:
Mohamed Barakat <mohamed.barakat@…>
Branches:
(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
Children:
2d805a7c01cfc3d6d2c79afa87d731e586dd92e2
Parents:
1f855ee2122ba3792add44e467ab7029f1a992a6
git-author:
Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2010-11-16 15:23:40+01:00
git-committer:
Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 11:55:40+01:00
Message:
preliminary version of Makefile and configure
File:
1 edited

Legend:

Unmodified
Added
Removed

  • configure

    r1f855e rc37827  
    22
    33#PACKAGES="omalloc ntl factory libfac misc resources reporter coeffs polys"
    4 PACKAGES="omalloc xalloc misc reporter resources coeffs polys"
     4PACKAGES="omalloc misc reporter resources coeffs"
    55_PWD="$(pwd)"
    66_TOP_ARGS="$@"
Note: See TracChangeset for help on using the changeset viewer.