diff options
Diffstat (limited to 'cabal.config')
-rw-r--r-- | cabal.config | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/cabal.config b/cabal.config new file mode 100644 index 0000000..4137573 --- /dev/null +++ b/cabal.config @@ -0,0 +1,19 @@ +-- Copyright © 2015 Benjamin Barenblat <bbaren@mit.edu> +-- +-- This program is free software: you can redistribute it and/or modify it under +-- the terms of the GNU General Public License as published by the Free Software +-- Foundation, either version 3 of the License, or (at your option) any later +-- version. +-- +-- This program is distributed in the hope that it will be useful, but WITHOUT +-- ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS +-- FOR A PARTICULAR PURPOSE. See the GNU General Public License for more +-- details. +-- +-- You should have received a copy of the GNU General Public License along with +-- this program. If not, see <http://www.gnu.org/licenses/>. + +library-profiling: True +shared: False +executable-dynamic: False +optimization: False
\ No newline at end of file |